A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types

Skip Nav Destination

Logic Programming

Logic Programming: The 1997 International Symposium

Edited by

The MIT Press

DOI:

ISBN electronic:

9780262291323

Publication date:

1997

Book Chapter

Search for other works by this author on:

Search for other works by this author on:

Doi:

You do not currently have access to this chapter.

Don't already have an account? Register

You could not be signed in. Please check your email address / username and password and try again.

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types Unavailable