Registered user since Wed 6 Jun 2018
Name:David Kaloper-Meršinjak
Contributions
OCaml 2016 | OCaml inside: a drop-in replacement for libtls | ||||||||||||||||||||||||||||||||||||||||
TyDe 2016 | Generic partially-static data | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2016-profile
View general profile
View general profile