A non-deterministic call-by-need lambda calculus (1998)

Cached

Download Links

by Arne Kutzner , Manfred Schmidt-Schauß
Venue:INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING
Citations:14 - 7 self