Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
No abstract available.
Related papers
- Pragmatic Subtyping in Polymorphic Languages ICFP 1998
- Local type inference TOPLAS 2000
- Regular expression types for XML ICFP 2000
- Type inference for static compilation of JavaScript OOPSLA 2016
- Local Type Inference POPL 1998
- HM(X) type inference is CLP(X) solving JFP 2008
- Simplifying Subtyping Constraints ICFP 1996
- Associated types and constraint propagation for mainstream object-oriented generics OOPSLA 2005