A Theory of Qualified Types
No abstract available.
Related papers
- A Theory of Type Qualifiers PLDI 1999
- Qualifying System F<: Some Terms and Conditions May Apply OOPSLA 2024
- Qualified types for MLF ICFP 2005
- Abstracting extensible data types: or, rows by any other name POPL 2019
- Inference of User-Defined Type Qualifiers and Qualifier Rules ESOP 2006
- The best of both worlds: linear functional programming without compromise ICFP 2016
- Flow-insensitive type qualifiers TOPLAS 2006
- Flow-Sensitive Type Qualifiers PLDI 2002