Account Summary
Researcher (semantics, interaction, concurrency, nominal computation), coder (ocaml, haskell, C, C++,
more...
Projects Used
Joined Open Hub
about 17 years ago
Development History
There are no contributions available to display.