A call-by-need lambda-calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations (2008)

by David Sabel , Manfred Schmidt-schauß
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:15 - 10 self