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 Polymorphic Type System For Prolog – A Mycroft, R O'Keefe - 1984
10 Run-time type computations in the Warren abstract machine – Christoph Beierle, Gregor Meyer - 1994
36 clause programs with polymorphic types: semantics and resolution – Horn - 1991
19 Logic programming with type specifications – M Hanus - 1992
8 TEL (version 0.9), Report and User – G Smolka - 1988
47 A semantics for typed logic programs – P M Hill, R W Topor - 1992
11 Logic programming with typed unification and its realization on an abstract machine – C Beierle
22 Untersuchungen zur mehrsortigen Quantorenlogik”, Mathematische Annalen – A Oberschelp
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
249 Warren’s Abstract Machine: A Tutorial Reconstruction – Hassan Aït-Kaci - 1991
30 A Logical Operational Semantics for Full Prolog. Part I: Selection Core and Control – E Börger - 1990
491 An Abstract Prolog Instruction Set – D H D Warren - 1983
19 A polymorphic type system with subtypes for Prolog – R Dietrich, F Hagl - 1988
11 A First-Order Theory of Types and Polymorphism in Logic Programming – Michael Kifer, James Wu - 1990
56 Typed Prolog: A semantic reconstruction of the MycroftO’Keefe type system – T K Lakshman, U S Reddy - 1991
75 Towards a theory of types in Prolog – P Mishra - 1984
23 Deduction with symbolic constraints – C Kirchner, H Kirchner, M Rusinowitch - 1990
66 Completion of Rewrite Systems with Membership Constraints Part II: Constraint Solving – Hubert Comon - 1992
9 Extending the Warren Abstract Machine to Polymorphic Order-sorted Resolution – C Beierle, G Meyer, H Semele - 1991