Blog posts tagged “research”Towards a native toplevel for the OCaml language - 06 Oct 2011Linear Scan Register Allocator for the OCaml Native Code Compiler - 25 Aug 2011A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus - 10 May 2011Seminar Paper on Model Checking - 22 Jan 2007