Generic Programming in OCaml

@article{Balestrieri2016GenericPI,
  title={Generic Programming in OCaml},
  author={Florent Balestrieri and M. Mauny},
  journal={CoRR},
  year={2016},
  volume={abs/1812.11665},
  pages={59-100}
}
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 new additions, and extension points provide syntactic sugar and generate boiler plate code that simplify the use of the library. The building blocks of the library can be used to support many… Expand
Generic Programming with Combinators and Objects
Tierless web programming in ML
Putting gradual types to work

References

SHOWING 1-10 OF 49 REFERENCES
Practical generic programming in OCaml
Comparing libraries for generic programming in haskell
Scrap your boilerplate: a practical design pattern for generic programming
A lightweight implementation of generics and dynamics
Comparing Approaches to Generic Programming in Haskell
RepLib: a library for derivable type classes
A generic deriving mechanism for Haskell
Instant Generics: Fast and Easy
The essence of functional programming
Scrap your boilerplate with class: extensible generic functions
...
1
2
3
4
5
...