Types of Fireballs
Abstract elided by the publisher.
Related papers
- An Abstract Machine for Strong Call by Value APLAS 2020
- System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types ESOP 2004
- Gradual Typing for Annotated Type Systems ESOP 2014
- Backward Type Inference Generalises Type Checking SAS 2002
- Stratified type inference for generalized algebraic data types POPL 2006
- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) ESOP 1999
- Directional Type Checking for Logic Programs: Beyond Discriminative Types ESOP 2000
- Type Reconstruction for General Refinement Types ESOP 2007