Searching for authors named "Pierre Weis" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Programmation applicative État des lieux et perspectives
- …. We recall the story of applicative programming languages. We then describe the qualities that make the success of these languages, in particular for educational purpose. We sketch some prospective trends. Some available free implementations are mentioned in appendix. KEY WORDS : functional langua…
- Add To MetaCart
-
Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages
- …. We present Bigloo, a highly portable and optimizing compiler. Bigloo is the first compiler for strict functional languages that can efficiently compile several languages: Bigloo is the first compiler for full Scheme and full ML, and for these two languages, Bigloo is one of the most efficient comp…
- Cited by 34 (3 self) – Add To MetaCart
-
An exact arithmetic package for ML
- …We present the design and implementation of an exact rational arithmetic package for the programming language Caml, an ML dialect close to the original LCF-ML. Our arithmetic, written almost entirely in Caml, combines efficiency, power and flexibility. For efficiency reasons, the package provides se…
- Add To MetaCart
-
Polymorphic Type Inference and Assignment
- …We present a new approach to the polymorphic typing of data accepting in-place modi cation in ML-like languages. This approach is based on restrictions over type generalization, and a re ned typing of functions. The type system given here leads to a better integration of imperative programming sty…
- Cited by 50 (1 self) – Add To MetaCart
Showing 1 through 4.
