ML/OCAML

20162017201820162018

Keyphrases

Publications

volume 285, 2018

Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016. ML/OCAML 285 (2018)

2016

Oleg Kiselyov, K. C. Sivaramakrishnan
Eff Directly in OCaml. ML/OCAML (2016)
Timothy Bourke, Jun Inoue, Marc Pouzet
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. ML/OCAML (2016)
Dmitry Kosarev, Dmitry Boulytchev
Typed Embedding of a Relational Language in OCaml. ML/OCAML (2016)
Florent Balestrieri, Michel Mauny
Generic Programming in OCaml. ML/OCAML (2016)
Kavon Farvardin, John H. Reppy
Compiling with Continuations and LLVM. ML/OCAML (2016)