12 citations · 15 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 12 cited
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…
cs.PL2018
Code Reuse With Transformation Objects
Dmitri Boulytchev
We present an approach for a lightweight datatype-generic programming in Objective Caml programming language aimed at better code reuse. We show, that a large class of transformati…