-
Type-Based Analysis of Uncaught Exceptions
This report presents a program analysis to estimate uncaught exceptions in ML programs. This analysis relies on unification-based type inference in a non-standard type... -
Type Inference in the Presence of Subtyping: from Theory to Practice
From a purely theoretical point of view, type inference for a functional language with parametric polymorphism and subtyping poses little difficulty. Indeed, it... -
Interactive Programming Environment for ML
This paper presents our experiment in building a programming environment for ML. The approach is based on reusability. We derive from existing compilers some tools... -
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,... -
A syntactic theory of type generativity and sharing
This paper presents a purely syntactic account of type generativity and sharing --- two key mechanisms in the Standard ML module system --- and shows its equivalence... -
1+1=1 : an optimizing Caml compiler
Projet ICSLA -
Low complexity decoding schemes for MIMO systems
The use of MIMO antennas is a technique that allows to exploit in a very effective way the spatial and temporal diversity in certain systems of communication, of which... -
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... -
Acute: High-level programming language design for distributed computation : D...
This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we... -
Specifying Imperative ML-Like Programs Using Dynamic Logic
International audience -
Transmitter and receiver design for inherent interference cancellation in MIM...
Multicarrier (MC) Modulation attracts a lot of attention for high speed wireless transmissions because of its capability to cope with frequency selective fading... -
The Size-Change Termination Principle for Constructor Based Languages
24 pages + 6 pages d'appendice -
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;...
