𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Typed Closure Conversion for Recursively-Defined Functions: Extended Abstract

✍ Scribed by Greg Morrisett; Robert Harper


Publisher
Elsevier Science
Year
1998
Tongue
English
Weight
535 KB
Volume
10
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.