BER MetaOCaml

MaRDI QIDQ21533swMATHFDO

Official website http://okmij.org/ftp/ML/MetaOCaml.html

Cited in

(11)

• Eliom: A Core ML Language for Tierless Web Programming
• Refined environment classifiers. Type- and scope-safe code generation with mutable cells
• Eliom
• Ocsigen
• Strymonas
• js_of_ocaml
• Opa
• Terra
• MiniML
• Lwt
• Generating C. System description

This page was built for software: BER MetaOCaml