-
3
-
-
84888865947
-
On the relation between the λμ-calculus and the syntactic theory of sequential control
-
De Groote, P. (1994b) On the relation between the λμ-calculus and the syntactic theory of sequential control. Springer-Verlag Lecture Notes in Computer Science 822.
-
(1994)
Springer-Verlag Lecture Notes in Computer Science
, vol.822
-
-
De Groote, P.1
-
4
-
-
0003882245
-
The calculi of λv-conversion: A syntactic theory of control and state in imperative higher order programming languages
-
Indiana University
-
Felleisen, M. (1986) The calculi of λv-conversion: A syntactic theory of control and state in imperative higher order programming languages, Ph. D. thesis, Indiana University.
-
(1986)
Ph. D. thesis
-
-
Felleisen, M.1
-
5
-
-
0026913084
-
The revised report on the syntactic theories of sequential control and state
-
Felleisen, M. and Hieb, R. (1992) The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103 235–271.
-
(1992)
Theoretical Computer Science
, vol.103
, pp. 235-271
-
-
Felleisen, M.1
Hieb, R.2
-
6
-
-
1142282666
-
Declarative continuations and categorical duality
-
DIKU Report
-
Filinski, A. (1989) Declarative continuations and categorical duality. Master’s thesis, DIKU, Computer Science Department, University of Copenhagen. DIKU Report 89(11).
-
(1989)
Master’s thesis, DIKU, Computer Science Department, University of Copenhagen
, vol.89
, Issue.11
-
-
Filinski, A.1
-
7
-
-
85023029411
-
Direct-style and continuation-passing style models of control
-
Available from
-
Fiihrmann, C. (1998) Direct-style and continuation-passing style models of control. Available from http://www.dcs.ed.ac.uk/home/car/research.htm.
-
(1998)
-
-
Fiihrmann, C.1
-
11
-
-
18944386462
-
Premonoidal categories and a graphical view of programs (preprint)
-
Jeffrey, A. (1997) Premonoidal categories and a graphical view of programs (preprint).
-
(1997)
-
-
Jeffrey, A.1
-
12
-
-
18544389099
-
On Mac Fane’s conditions for coherence of natural associativities, Commutativities, etc
-
Kelly, G. M. (1964) On Mac Fane’s conditions for coherence of natural associativities, Commutativities, etc. J. Algebra 1 397–402.
-
(1964)
J. Algebra
, vol.1
, pp. 397-402
-
-
Kelly, G.M.1
-
13
-
-
0012155726
-
Continuations semantics or expressing implication by negation
-
University of Munich
-
Fafont, Y., Reus, B. and Streicher, T. (1993) Continuations semantics or expressing implication by negation. Technical Report 93–21, University of Munich.
-
(1993)
Technical Report 93–21
-
-
Fafont, Y.1
Reus, B.2
Streicher, T.3
-
14
-
-
0003532186
-
An Introduction to Higher Order Categorical Logic
-
Cambridge University Press
-
Fambek, J. and Scott, P. J. (1986) An Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics 7, Cambridge University Press.
-
(1986)
Cambridge Studies in Advanced Mathematics
, vol.7
-
-
Fambek, J.1
Scott, P.J.2
-
15
-
-
0003146836
-
Natural associativity and commutativity
-
Mac Fane, S. (1963) Natural associativity and commutativity. Rice University Studies 49 28–46.
-
(1963)
Rice University Studies
, vol.49
, pp. 28-46
-
-
Mac Fane, S.1
-
16
-
-
0038492874
-
Computational lambda-calculus and monads
-
Edinburgh University, Department of Computer Science
-
Moggi, E. (1988) Computational lambda-calculus and monads. Technical Report ECS-LFCS-88-66, Edinburgh University, Department of Computer Science.
-
(1988)
Technical Report ECS-LFCS-88-66
-
-
Moggi, E.1
-
19
-
-
84944098890
-
λμ-calculus: An algorithmic interpretation of classical natural deduction
-
St. Petersburg. Springer-Verlag Lecture Notes in Computer Science
-
Parigot, M. (1992) λμ-calculus: An algorithmic interpretation of classical natural deduction. In: Proceedings of the International Conference on Logic Programming and Automated Reasoning, St. Petersburg. Springer-Verlag Lecture Notes in Computer Science 624 190–201.
-
(1992)
Proceedings of the International Conference on Logic Programming and Automated Reasoning
, vol.624
, pp. 190-201
-
-
Parigot, M.1
-
20
-
-
18944377121
-
Call-by-name, call-by-value and the 2-calculus
-
Plotkin, G. D. (1975) Call-by-name, call-by-value and the 2-calculus. Theoretical Computer Science 1 125–159.
-
(1975)
Theoretical Computer Science
, vol.1
, pp. 125-159
-
-
Plotkin, G.D.1
-
22
-
-
85023135214
-
On the semantics of classical disjunction
-
(preprint)
-
Pym, D. and Ritter, E. (1998) On the semantics of classical disjunction (preprint).
-
(1998)
-
-
Pym, D.1
Ritter, E.2
-
23
-
-
85022989500
-
An implementation of the call-by-name λμv-calculus
-
(preprint - available from the Hypatia Electronic Library)
-
Selinger, P. (1998) An implementation of the call-by-name λμv-calculus (preprint - available from the Hypatia Electronic Library).
-
(1998)
-
-
Selinger, P.1
-
24
-
-
0032244822
-
Classical logic, continuation semantics and abstract machines
-
Streicher, T. and Reus, B. (1998) Classical logic, continuation semantics and abstract machines. Journal of Functional Programming 8 (6) 543–572.
-
(1998)
Journal of Functional Programming
, vol.8
, Issue.6
, pp. 543-572
-
-
Streicher, T.1
Reus, B.2
|