Typing constraint logic programs (original) (raw)
Related papers
Type Processing by Constraint Reasoning
Lecture Notes in Computer Science, 2006
Type classes and constraint handling rules
2000
Type inference with constrained types
Theory and Practice of Object Systems, 1999
Implementing type theory in higher order constraint logic programming
Mathematical Structures in Computer Science
A Calculus for Type Predicates and Type Coercion
Lecture Notes in Computer Science, 2005
A First-Order Theory of Types and Polymorphism in Logic Programming
1991
Lecture Notes in Computer Science, 2005
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP
Lecture Notes in Computer Science, 2002
Program specification and data refinement in type theory
Mathematical Structures in Computer Science, 1993
Constrained Types–Future Directions
Constrained types for object-oriented languages
ACM SIGPLAN Notices, 2008
Genericity through Constrained Types
An effective theory of type refinements
ACM SIGPLAN Notices, 2003
A Rewriting Logic Approach to Type Inference
Lecture Notes in Computer Science, 2009
Type checking and type deduction techniques for polymorphic programming languages
2018
Language-Based Program Verification via Expressive Types
Electronic Notes in Theoretical Computer Science, 2007
The type system of a higher-order logic programming language
1992
Type Inference for the Mixture of Matching and Implicit Subtyping
1996
A generic type-and-effect system
2009
1994
Associated types and constraint propagation for mainstream object-oriented generics
ACM SIGPLAN Notices, 2005
A rewriting logic approach to defining type systems
2008
A Rewriting Logic Approach to Type Inference: Technical Report
The Implicit Calculus of Constructions as a Programming Language with Dependent Types
2008
A correspondence between type checking via reduction and type checking via evaluation
Information Processing Letters, 2012
Declaration-free type checking
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85, 1985
Simpli cation of Subtyping Constraints and Its Application for Monadic Programming
1997
Type-Checking and Normalisation By Evaluation for Dependent Type Systems
Type Inference via Constraint Abduction for EADTs
The Polymorphic Rewriting-calculus::[Type Checking vs. Type Inference]
Electronic Notes in Theoretical Computer Science, 2005
Introduction to generalized type systems
A framework for implementing pluggable type systems
ACM SIGPLAN Notices, 2006
A type-safe embedding of Constraint Handling Rules into Haskell
2003
A type system with usage aspects
Journal of Functional Programming, 2008