 |
Conference papers
Frozen inference constraints for type-directed disambiguation
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.
https://hal.inria.fr/hal-03510890
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
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