-
A Modular Module System
A simple implementation of a SML-like module system is presented as a module parameterized by a base language and its type-checker. This demonstrates constructively... -
Le système Caml Special Light: modules et compilation efficace en Caml
Ce rapport présente une vue d'ensemble du système Caml Special Light, une implémentation expérimentale du langage Caml offrant deux extensions majeures: premièrement,... -
Implémentation d'un système de modules évolué en Caml-Light
Ce rapport décrit la conception et l'implémentation d'un langage de modules évolué en Caml-Light. Nous décrivons d'abord ce que nous entendons par langage de modules,... -
1+1=1 : an optimizing Caml compiler
Projet ICSLA -
Semi-automatic verification of cryptographic primitives
CertiCrypt is a framework that enables the machine-checked construction and verification of cryptographic proofs in the Coq proof assistant. CertiCrypt instruments the... -
The Flow Caml System: Documentation and user's manual
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. Its purpose is basically to allow to write ``real'' programs and... -
Une analyse syntaxique d'ASN.1 : 1990 en Caml Light
ASN.1 est un langage de spécification de protocoles normalisé par l'ISO et utilisé fréquemment dans les télécommunications. Il permet de décrire et de regrouper en... -
ReCaml: execution state as the cornerstone of reconfigurations
International audience -
an intuitionistic lambda calculus with exceptions
We introduce a typed lambda-calculus which allows the use of exceptions in the ML style. It is an extension of the system AF2 of Krivine & Leivant (Krivine, 1990;...
