1 |
A Proof-Theoretic Foundation of Abortive Continuations
|
|
|
|
In: ISSN: 1388-3690 ; EISSN: 1573-0557 ; Higher-Order and Symbolic Computation ; https://hal.inria.fr/hal-00697242 ; Higher-Order and Symbolic Computation, Springer Verlag, 2007, 20 (4), ⟨10.1007/s10990-007-9007-z⟩ (2007)
|
|
BASE
|
|
Show details
|
|
2 |
From Syntactic Theories to Interpreters: A Specification Language and Its Compilation ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|