Verbose Typing
Abstract
No abstract available.
Related papers
- SimTyper: sound type inference for Ruby using type equality prediction OOPSLA 2021
- Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System OOPSLA 1998
- Tool Paper: AGTix: Concise Use of Scope Graphs in Reference Attribute Grammars SLE 2026
- Local Type Inference POPL 1998
- Recursive modules for programming ICFP 2006
- Lightweight dependent classes GPCE 2008
- An extended comparative study of language support for generic programming JFP 2007
- A comparative study of language support for generic programming OOPSLA 2003