DMCA

Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure (2001)

by Olivier Danvy , Ulrik P. Schultz
Citations:40 - 9 self