Type Checking in the Large
Abstract elided by the publisher.
Related papers
- Efficient software model checking of soundness of type systems OOPSLA 2008
- Type-checking injective pure type systems JFP 1999
- Generic Polymorphism POPL 1995
- Modules and Type Checking in PL/LL OOPSLA 1987
- An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols ESOP 2025
- How to Evaluate Blame for Gradual Types, Part 2 ICFP 2023
- A generic type system for the Pi-calculus POPL 2001
- Static and user-extensible proof checking POPL 2012