Dynamics for ML using Meta-Programming / Jul 2011
Paper on statically typed value persistence for OCaml in ENTCS 2011. This work on the dyntype library explored using meta-programming to provide type-safe serialization and persistence in OCaml. The approach uses OCaml's type system to automatically generate code for converting values to and from various representations, enabling developers to persist complex data structures without sacrificing type safety. The library became an important building block for systems that needed to store and retrieve OCaml values reliably.