Type inference for records in a natural extension of ML
Abstract
Résumé disponible dans le fichier PDF
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-00075129
Submitted on : Wednesday, May 24, 2006-5:30:43 PM
Last modification on : Tuesday, February 7, 2023-3:40:55 AM
Long-term archiving on: Sunday, April 4, 2010-9:38:18 PM