Ionic Types
No abstract available.
Related papers
- Lifting Code Generation of Cardiac Physiology Simulation to Novel Compiler Technology CGO 2023
- 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