A Functional Logic Language Based on Higher Order Narrowing

Kuchen H

Cite as

Kuchen, H. (1996). A Functional Logic Language Based on Higher Order Narrowing. In Proceedings of the Glasgow Functional Programming Workshop 1995, Glasgow.

Details

Publication type
Research article in proceedings (conference)

Peer reviewed
Yes

Publication status
Published

Year
1996

Conference
Glasgow Functional Programming Workshop 1995

Venue
Glasgow

Number of pages
12

Title of series
Workshops in Computing

Publisher
Springer Verlag

Language
English

ISBN
3-540-14580-X

Full text
http://danae.uni-muenster.de/