Scalable component abstractionsODERSKY, Martin; ZENGER, Matthias.ACM SIGPLAN notices. 2005, Vol 40, Num 10, pp 41-57, issn 1523-2867, 17 p.Conference Paper

Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel = SPECIFYING AN ENVIRONMENT DEDICATED TO CERTIFIED PROGAMMING OF COMPUTER ALGEBRA LIBRARIESBoulmé, Sylvain; Hardin, Therese.2000, 245 p.Thesis

Modeling Abstract Types in Modules with Open Existential TypesMONTAGU, Benoit; REMY, Didier.ACM SIGPLAN notices. 2009, Vol 44, Num 1, pp 354-365, issn 1523-2867, 12 p.Conference Paper