A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

13 years 8 months ago

Download www.lix.polytechnique.fr

BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104–6389 USA

Dale Miller

Real-time Traffic

Automated Reasoning | ELP 1989 | FUNCTION VARIABLES | September 1989 Dale | SIMPLE UNIFICATION |

claim paper

» Implementing functional logic languages using multiple threads and stores

» Typed Logical Variables in Haskell

» A Logic Programming Framework for Combinational Circuit Synthesis

» Distributed Programming in a MultiParadigm Declarative Language

» FreshML programming with binders made simple

» A Needed Narrowing Strategy

» Reasoning with hypothetical judgments and open terms in hybrid

» Shape Analysis with Reference Set Relations

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1989
Where	ELP
Authors	Dale Miller

Comments (0)

Sciweavers

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Automated Reasoning | ELP 1989 | FUNCTION VARIABLES | September 1989 Dale | SIMPLE UNIFICATION |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers