
Registered user since Fri 13 Jul 2018
Name:Dmitrii Kosarev
Contributions
ML 2016 | Typed Embedding of Relational Language in OCaml | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2016-profile
View general profile
View general profile
Registered user since Fri 13 Jul 2018
Contributions
ML 2016 | Typed Embedding of Relational Language in OCaml | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |