-
Visual Lisp/CLOS Programming in OpenMusic
International audience -
Functional Package Management with Guix
International audience -
Counting and generating lambda terms
Lambda calculus is the basis of functional programming and higher order proof assistants. However, little is known about combinatorial properties of lambda terms, in... -
Micro Languages for Systems
International audience -
Counting and generating lambda terms
International audience -
Haskell : De nouvelles voies pour le parallélisme
National audience -
Counting Terms in the Binary Lambda Calculus
International audience -
Tiled Polymorphic Temporal Media
International audience -
Polytypic Functions Over Nested Datatypes
International audience -
Boltzmann samplers for random generation of lambda terms
Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random $'l$-terms is more specifically needed for... -
A confluence Result for a Typed lambda-Calculus of Exception Handling with Fi...
Colloque avec actes et comité de lecture. -
On the semantics of static exception handling
Rapport interne. Fusionné avec l'identifiant A00-R-197 || de_groote00a
