6 citations · 9 across the 4 of their papers we have counts for
4 papers · 1 filter
Towards a native toplevel for the OCaml language
Marcell Fischbach, Benedikt Meurer
This paper presents the current state of our work on an interactive toplevel for the OCaml language based on the optimizing native code compiler and runtime. Our native toplevel is…
A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus
Benedikt Meurer
Step-indexed semantic models of types were proposed as an alternative to purely syntactic safety proofs using subject-reduction. Building upon the work by Appel and others, we intr…
Just-In-Time compilation of OCaml byte-code
Benedikt Meurer
This paper presents various improvements that were applied to OCamlJIT2, a Just-In-Time compiler for the OCaml byte-code virtual machine. OCamlJIT2 currently runs on various Unix-l…
OCamlJIT 2.0 - Faster Objective Caml
Benedikt Meurer
This paper presents the current state of an ongoing research project to improve the performance of the OCaml byte-code interpreter using Just-In-Time native code generation. Our JI…