Type Processing by Constraint Reasoning
No abstract available.
Related papers
- An object-oriented calculus with term constraints JFP 2007
- Automatically Verifying Typing Constraints for a Data Processing Language CPP 2011
- Language-integrated privacy-aware distributed queries OOPSLA 2019
- Stochastic Processes as Concurrent Constraint Programs POPL 1999
- High-Level Abstractions for Simplifying Extended String Constraints in SMT CAV 2019
- Constraints: A Uniform Approach to Aliasing and Typing POPL 1985
- Type-Outference with Label-Listeners: Foundations for Decidable Type-Consistency for Nominal Object-Oriented Generics OOPSLA 2025
- From ML to MLF: graphic type constraints with efficient type inference ICFP 2008