Sciweavers

LISP
2007

A proof-theoretic foundation of abortive continuations

14 years 10 days ago
A proof-theoretic foundation of abortive continuations
Zena M. Ariola, Hugo Herbelin, Amr Sabry
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2007
Where LISP
Authors Zena M. Ariola, Hugo Herbelin, Amr Sabry
Comments (0)