• Runtime types in OCaml http://www.lexifi.com/blog/runtime-types 3 comments 8/12/2011

• About unboxed float arrays (a proposal) http://www.lexifi.com/blog/about-unboxed-float-arrays 7 comments 8/1/2015 ocaml
• Inlined records in constructors (Alain Frisch) http://www.lexifi.com/blog/inlined-records-constructors 3 comments 10/4/2014 ocaml
• "Static exceptions": non-exceptional, strongly typed, safe control flow (in OCaml) https://www.lexifi.com/blog/static-exceptions 24 comments 11/1/2013 programming
• Going functional on exotic trades (2008) [pdf] http://www.lexifi.com/downloads/frankau.pdf 3 comments 9/9/2012 haskell
• Runtime Types in OCaml http://www.lexifi.com/blog/runtime-types 3 comments 9/12/2011 ocaml
• Runtime types in OCaml http://www.lexifi.com/blog/runtime-types 12 comments 8/12/2011 programming
• CSML: high-level bindings between OCaml and C#, now also on top of Mono http://www.lexifi.com/csml/ 8 comments 21/10/2008 programming

• Going functional on exotic trades http://www.lexifi.com/downloads/frankau.pdf 14 comments 31/5/2009 DSL , Functional
• A Formal Language for Analyzing Contracts http://www.lexifi.com/Downloads/MLFiPaper.pdf 0 comments 24/1/2006 DSL