Frozen inference constraints for type-directed disambiguation - Archive ouverte HAL Access content directly
Conference Papers Year :

Frozen inference constraints for type-directed disambiguation

(1) , (1)


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.
Fichier principal
Vignette du fichier
short-abstract.pdf (400.22 Ko) Télécharger le fichier
Vignette du fichier
short-talk.pdf (229.83 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03510890 , version 1 (04-01-2022)


  • 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⟩
23 View
21 Download


Gmail Facebook Twitter LinkedIn More