Skip to content

A Non-Deterministic Call-by-Need Lambda Calculus.

Arne Kutzner, Manfred Schmidt-Schau

VenueAICFP
Year1998
ProceedingsICFP

Browse the full ICFP paper archive.