Personal Information
Organização/Local de trabalho
United States United States
Cargo
Software engineer and scientist
Sobre
A scientific approach to life and work.
Marcadores
functional programming
scala
reflexive chemical abstract machine
ocaml
actor programming model
jocaml
concurrent programming
join calculus
temporal logic
reactive programming
scripting languages
logic programming
prolog
Ver mais