Directional Type Checking of Logic Programs
Abstract elided by the publisher.
Related papers
- Directional Type Checking for Logic Programs: Beyond Discriminative Types ESOP 2000
- Directional Type Inference for Logic Programs SAS 1998
- A machine-checked direct proof of the Steiner-lehmus theorem CPP 2022
- Oracle-based checking of untrusted software POPL 2001
- Let Arguments Go First ESOP 2018
- Effective Entailment Checking for Separation Logic with Inductive Definitions TACAS 2019
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums POPL 2004
- Higher-Order Property-Directed Reachability ICFP 2023