|
206
|
A Formulae-as-Types Notion of Control
– Timothy G. Griffin
- 1990
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
|
54
|
A Generalization of Exceptions and Control in ML-like Languages
– Carl A. Gunter, Didier Rémy, Jon G. Riecke
- 1995
|
|
573
|
The Definition of Standard ML (Revised
– Robin Milner, Mads Tofte, Robert Harper, David MacQueen
- 1997
|
|
10
|
The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property
– Hiroshi Nakano
- 1994
|
|
14
|
A Constructive Formalization of the Catch and Throw Mechanism
– Hiroshi Nakano
- 1992
|
|
30
|
A generalization of jumps and labels
– Peter J. Landin
- 1965
|
|
270
|
Λµ-calculus: an algorithmic interpretation of classical natural deduction
– M Parigot
- 1992
|
|
68
|
Theories of Programming Languages
– J C Reynolds
- 1998
|
|
67
|
A Curry-Howard foundation for functional computation with control
– C. -h. L. Ong, C. A. Stewart
- 1997
|
|
26
|
A Simple Calculus of Exception Handling
– Philippe de Groote
- 1995
|
|
153
|
Revised report on the algorithmic language Scheme
– W Clinger, J Rees
- 1991
|
|
5
|
Unifying exceptions with constructors in Standard ML
– Andrew Appel, David MacQueen, Robin Milner, Mads Tofte
- 1988
|
|
42
|
The Evolution of Lisp
– Guy L. Steele, Jr., Richard P. Gabriel
- 1993
|
|
20
|
A fully abstract game semantics of local exceptions
– J Laird
|
|
2
|
P.: "A Simple Calculus of Exception Handling", Typed Lambda Calculi and its Applications
– de Groote
- 1995
|
|
11
|
Logical Structures of the Catch and Throw Mechanism
– Hiroshi Nakano
- 1995
|
|
11
|
A constructive logic behind the catch and throw mechanism
– H Nakano
- 1994
|
|
5
|
A New Formulation of the Catch/Throw Mechanism
– Yukiyoshi Kameyama
- 1997
|
