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

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