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...

Full description

Bibliographic Details
Main Authors: Florent Balestrieri, Michel Mauny
Format: Article
Language:English
Published: Open Publishing Association 2018-12-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1812.11665v1