HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Frozen inference constraints for type-directed disambiguation

Olivier Martinot 1 Gabriel Scherer 1
1 PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : We present work-in-progress on type inference in presence of type-directed name disambiguation (where an ambiguous name is resolved using type information), following the approach of constraint-based type inference. Our specific goal is to implement inference for OCaml sum/variant constructor disambiguation, and our approach is to introduce "frozen constraints", a more general constraint mechanism. We have a prototype implementation of frozen constraints in the Inferno library, and discuss the implementation and meta-theoretical challenges.
Document type :
Conference papers
Complete list of metadata

Contributor : Scherer Gabriel Connect in order to contact the contributor
Submitted on : Tuesday, January 4, 2022 - 4:34:44 PM
Last modification on : Friday, February 4, 2022 - 3:08:39 AM


  • HAL Id : hal-03510890, version 1


Olivier Martinot, Gabriel Scherer. Frozen inference constraints for type-directed disambiguation. ML Family Workshop, Aug 2021, online, South Korea. ⟨hal-03510890⟩



Record views


Files downloads