Paper on statically typed value persistence for OCaml in ENTCS 2011
Dynamics for ML using Meta-Programming Thomas Gazagnaire and Anil Madhavapeddy. Journal paper in Electronic Notes in Theoretical Computer Science (vol 264 issue 5). URL (linkinghub.elsevier.com) DOI BIB PDF
Dynamics for ML using Meta-Programming
Thomas Gazagnaire and Anil Madhavapeddy.
Journal paper in Electronic Notes in Theoretical Computer Science (vol 264 issue 5).
URL (linkinghub.elsevier.com) DOI BIB PDF