A Foundation for Space-Safe Transformations of Call-by-Need Programs (1999)

Cached

Download Links

by Jörgen Gustavsson , David Sands
Citations:18 - 4 self