10 citations · 10 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018
Generic Programming in OCaml
Florent Balestrieri, Michel Mauny
We present a library for generic programming in OCaml, adapting some techniques borrowed from other functional languages. The library makes use of three recent additions to OCaml:…
cs.PL2000★ 10 cited
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
Yong Xiao, Zena M. Ariola, Michel Mauny
Recent years have seen an increasing need of high-level specification languages and tools generating code from specifications. In this paper, we introduce a specification language,…