Studia Informatica Universalis n°9.1

Présentation :
This special issue contains a selection of the best papers of the International French speaking Conference of Functional Programming and Proofs Technics JFLA 2010. Sommaire :
- « A Mergeable Interval Map » R. Bonichon, P. Couq - « Tasks, Types and Tactis for Local Computation Systems » P. Castéran, V. Filou - « First-Class Containers in Coq » S. Leacuyer - « Enfocing Type-Safe Linking using Inter-Package Relationships » M. Dogguys, S. Glondu, S. Le Gall, S. Zacchiroli - « Real-Time Monitoring of Ocaml...