A type system for a declarative language
Abstract
Disponible dans les fichiers attachés à ce docment
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00075680
Submitted on : Wednesday, May 24, 2006-6:48:22 PM
Last modification on : Wednesday, March 15, 2023-8:58:08 AM
Long-term archiving on: Friday, May 13, 2011-2:16:54 PM