Directional Type Inference for Logic Programs
No abstract available.
Related papers
- Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML ICFP 1999
- Type Inference with Polymorphic Recursion TOPLAS 1993
- Directional Type Checking for Logic Programs: Beyond Discriminative Types ESOP 2000
- Inferring Incorrectness Specifications for Object-Oriented Programs TACAS 2025
- Directional Type Checking of Logic Programs SAS 1994
- Let Arguments Go First ESOP 2018
- Scripting the type inference process ICFP 2003
- Inference of Well-Typings for Logic Programs with Application to Termination Analysis SAS 2005