Logic Programming over Polymorphically Order-Sorted Types (1989)

Cached

Download Links

by Gert Smolka
Citations:58 - 0 self

Documents Related by Co-Citation

141 A polimorphic type system for prolog – A Mycroft, R A O’Keefe
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
1862 Foundations of Logic Programming – J W Lloyd - 1987
789 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
490 An abstract Prolog instruction set – D Warren - 1983
965 Negation as failure – K L Clark - 1978
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
944 A theory of type polymorphism in programming – Robin Milner - 1978