Directional Type Checking for Logic Programs: Beyond Discriminative Types
No abstract available.
Related papers
- Directional Type Checking of Logic Programs SAS 1994
- Type-Based Gradual Typing Performance Optimization POPL 2024
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform ICFP 2009
- Type-Directed Bounding of Collections in Reactive Programs VMCAI 2019
- Generic top-down discrimination for sorting and partitioning in linear time JFP 2012
- Discriminative sum types locate the source of type errors ICFP 2003
- Discriminative Model Checking CAV 2008