The type system of a higher-order logic programming language (original) (raw)
Related papers
1994
Type Processing by Constraint Reasoning
Lecture Notes in Computer Science, 2006
Lecture Notes in Computer Science, 2005
The typelab specification and verification environment
2015
Typing constraint logic programs
Theory and Practice of Logic Programming, 2001
A Framework for Analysis of Typed Logic Programs
2001
Introduction to Types in Compilation
Program specification and data refinement in type theory
Mathematical Structures in Computer Science, 1993
A synthesis of type-checking and parsing
Computer Languages, 1993
An effective theory of type refinements
ACM SIGPLAN Notices, 2003
Ferruccio Guidi, Andrea Asperti
2012
A type system with usage aspects
Journal of Functional Programming, 2008
A First-Order Theory of Types and Polymorphism in Logic Programming
1991
Type analysis of prolog using type graphs
Journal of Logic Programming, 1995
Optimizing the runtime processing of types in a higher-order logic programming language
2005
An approach for data type specification and its use in program verification
1979
Introduction to generalized type systems
Unified type system for the modern general-purpose programing language
2022
A Rewriting Logic Approach to Type Inference: Technical Report
Declaration-free type checking
Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85, 1985
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering, 2000
A Calculus for Type Predicates and Type Coercion
Lecture Notes in Computer Science, 2005
Modes and types in logic programming
2022
Polymorphic type analysis in logic programs by abstract interpretation
The Journal of Logic Programming, 1998
A polymorphic type system for prolog
Artificial Intelligence, 1984
2.1 Static Type Inference.................................... 5
2013
Type-Checking and Normalisation By Evaluation for Dependent Type Systems
Programming in Martin-Löf's Type Theory: an Introduction
Journal of Computational and Applied Mathematics, 1991
A Formal Description of an Incremental Type-Checker for Z
On the use of type predicates in object-oriented software
Proceedings of the 10th ACM Symposium on Dynamic languages - DLS '14, 2014
Type checking and type deduction techniques for polymorphic programming languages
2018