Generic Programming in OCaml

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: generalised abstract datatypes are essential to reflect types, extensible variants allow this reflection to be open for...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkkit: Florent Balestrieri, Michel Mauny
Materiálatiipa: Artihkal
Giella:English
Almmustuhtton: Open Publishing Association 2018-12-01
Ráidu:Electronic Proceedings in Theoretical Computer Science
Liŋkkat:http://arxiv.org/pdf/1812.11665v1