iconAnil Madhavapeddy, Professor of Planetary Computing

Statically-typed value persistence for ML

Thomas Gazagnaire, and Anil Madhavapeddy.

Paper in the workshop on Generative Technologies.

URL (cl.cam.ac.uk)   BIB   PDFpdf

We present a set of extensions to the OCaml language which add support for statically generating typed accessor functions for persisting and communicating a large subset of OCaml types. The extensions do not require any compiler modifications and are implemented using the camlp4 AST transformer.

We describe our utility libraries which permit analyzing OCaml values and type declarations from library code without the complexity of a fully-staged system such as MetaOCaml.

# 1st Mar 2011 iconpapers conference ocaml staged

Related News