Horn clause programs with polymorphic types: semantics and resolution

Authors:
Michael Hanus
Affiliations:
Univ. Dortmund, Dortmund, Germany
Venue:
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Year:
1991

Logic programming with typed unification and its realization on an abstract machine

IBM Journal of Research and Development
A precise type analysis of logic programs

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
A lightweight implementation of generics and dynamics

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Nominal logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards a Type Discipline for Answer Set Programming

Types for Proofs and Programs

Hi-index	0.00