Programming In Three Dimensions (1994)

Cached

Download Links

by Marc-Alexander Najork
Citations:31 - 0 self

Active Bibliography

2 Typing Constraint Logic Programs – Francois Fages, Emmanuel Coquery
Our LIPS Are Sealed: Interfacing Logic and Functional Programming Systems – Gary Lindstrom, Jan Maluszynski, Takeshi Ogi - 1992
12 A typed foundation for directional logic programming – Uday S. Reddy - 1992
1 Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language – Pascal Brisset
18 Implementing Polymorphic Typing in a Logic Programming Language – Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson - 1993
6 Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog – Olivier Ridoux, Patrice Boizumault - 1999
19 Higher Order Logic – Daniel Leivant - 1994
Three-dimensional Interaction and Presentation for Computer-Supported Cooperative Work – Kai-Mikael Jää-Aro - 1996
27 The Type System of a Higher-Order Logic Programming Language – Gopalan Nadathur, Frank Pfenning - 1992
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
9 Specification and correctness proof of a WAM extension with type constraints – Christoph Beierle, Egon Börger, Fachbereich Informatik, Fernuniversitat Hagen, D- Hagen - 1996
Logic and Abstraction, Verification and Falsification – Jan-georg Smaus - 2008
Type-based Diagnosis of CLP Programs – Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak, Ida Linkopings Universitet
6 A New Framework for Declarative Programming – Stacy E. Finkelstein, Peter Freyd, James Lipton - 2001
5 The Completion of Typed Logic Programs and SLDNF-Resolution – P.M. Hill - 1993
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
Usability Evaluation – Nektarios N. Kostaras, Michalis N. Xenos
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994