Projet NO CoST
New tools for complexity: semantics and types
Nouveaux outils pour la complexité : sémantique et types

Navigation

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Garantie de Complexité pour des programmes impératifs et fonctionnels

lundi 8 janvier 2007. (français)
 
http://www-lipn.univ-paris13.fr/LCR...