2 papers
cs.PL2021
Generic Programming with Combinators and Objects
Dmitrii Kosarev, Dmitry Boulytchev
We present a generic programming framework for OCAML which makes it possible to implement extensible transformations for a large scale of type definitions. Our framework makes use…
cs.PL2018
Typed Embedding of a Relational Language in OCaml
Dmitrii Kosarev, Dmitry Boulytchev
We present an implementation of the relational programming language miniKanren as a set of combinators and syntax extensions for OCaml. The key feature of our approach is polymorph…