Dynamics for ML using Meta-Programming / Jul 2011
Published dyntype at the Workshop on Generative Technologies. This paper presents the dyntype library for ML meta-programming, which provides statically typed value persistence through code generation. The work explores how to use OCaml's type system and meta-programming capabilities to automatically derive serialization and deserialization code, enabling type-safe storage and retrieval of complex data structures. This became a foundational library for many OCaml systems that needed reliable data persistence.