-
4
-
-
84957702908
-
Relational interpretation of recursive types in an operational setting (Summary)
-
Berlin: Springer-Verlag. To appear
-
Birkedal L., Harper R. Relational interpretation of recursive types in an operational setting (Summary). In Proc. TACS'97, Lecture Notes in Computer Science. 1997;Springer-Verlag, Berlin. To appear
-
(1997)
In Proc. TACS'97, Lecture Notes in Computer Science
-
-
Birkedal, L.1
Harper, R.2
-
5
-
-
0022103846
-
Automatic synthesis of typed λ-programs on term algebras
-
Böhm C., Berarducci A. Automatic synthesis of typed λ-programs on term algebras. Theoretical Computer Science. 39:1985;135-154
-
(1985)
Theoretical Computer Science
, vol.39
, pp. 135-154
-
-
Böhm, C.1
Berarducci, A.2
-
7
-
-
85029628159
-
DI-domains as a model of polymorphism
-
M. Main, A. Melton, M. Mislove, & D. Schmidt. Berlin: Springer-Verlag
-
Coquand T., Gunter C.A., Winskel G. DI-domains as a model of polymorphism. Main M., Melton A., Mislove M., Schmidt D. Mathematical Foundations of Programming Language Semantics, volume 298 of Lecture Notes in Computer Science. April 1987;344-363 Springer-Verlag, Berlin
-
(1987)
Mathematical Foundations of Programming Language Semantics, Volume 298 of Lecture Notes in Computer Science
, pp. 344-363
-
-
Coquand, T.1
Gunter, C.A.2
Winskel, G.3
-
9
-
-
0026913084
-
The revised report on the syntactic theories of sequential control and state
-
Felleisen M., Hieb R. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science. 103:1992;235-271
-
(1992)
Theoretical Computer Science
, vol.103
, pp. 235-271
-
-
Felleisen, M.1
Hieb, R.2
-
10
-
-
0004099873
-
Interprétation fonctionelle et élimination des coupures dans Varithmetique d'ordre supérieur
-
These de doctorat d'état
-
Girard J.-Y. Interprétation fonctionelle et élimination des coupures dans Varithmetique d'ordre supérieur. PhD thesis, Université Paris VII. 1972;. These de doctorat d'état
-
(1972)
PhD Thesis, Université Paris VII
-
-
Girard, J.-Y.1
-
11
-
-
0003432047
-
-
Cambridge University Press. Translated and with appendices by Y. Lafont., P. Taylor
-
Girard J.-Y. Proofs and Types. 1989;Cambridge University Press. Translated and with appendices by Y. Lafont., P. Taylor
-
(1989)
Proofs and Types
-
-
Girard, J.-Y.1
-
15
-
-
19144366963
-
A type-theoretic account of Standard ML 1996 (version 2)
-
Pittsburgh, PA: Carnegie Mellon University
-
Harper R., Stone C. A type-theoretic account of Standard ML 1996 (version 2). Technical Report CMU-CS-96-136R. September 1996;Carnegie Mellon University, Pittsburgh, PA
-
(1996)
Technical Report CMU-CS-96-136R
-
-
Harper, R.1
Stone, C.2
-
16
-
-
85000765729
-
Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
-
T. Ito, & A.R. Meyer. Berlin: Springer-Verlag
-
Hasegawa R. Parametricity of extensionally collapsed term models of polymorphism and their categorical properties. Ito T., Meyer A.R. Theoretical Aspects of Computer Software, volume 526 of Lecture Notes in Computer Science. 1991;495-512 Springer-Verlag, Berlin
-
(1991)
Theoretical Aspects of Computer Software, Volume 526 of Lecture Notes in Computer Science
, pp. 495-512
-
-
Hasegawa, R.1
-
20
-
-
19144367740
-
Types, abstraction, and parametric polymorphism, part 2
-
S. Brookes, M. Main, A. Melton, M. Mislove, & D.A. Schmidt. Berlin: Springer-Verlag
-
Ma Q., Reynolds J.C. Types, abstraction, and parametric polymorphism, part 2. Brookes S., Main M., Melton A., Mislove M., Schmidt D.A. Mathematical Foundations of Programming Semantics, Proceedings 1991, volume 598 of Lecture Notes in Computer Science. 1992;Springer-Verlag, Berlin
-
(1992)
Mathematical Foundations of Programming Semantics, Proceedings 1991, Volume 598 of Lecture Notes in Computer Science.
-
-
Ma, Q.1
Reynolds, J.C.2
-
24
-
-
0002057409
-
Operationally-based theories of program equivalence
-
P. Dybjer, & A.M. Pitts. Cambridge University Press
-
Pitts A.M. Operationally-based theories of program equivalence. Dybjer P., Pitts A.M. Semantics and Logics of Computation of the Newton Institute. 1997;241-298 Cambridge University Press
-
(1997)
Semantics and Logics of Computation of the Newton Institute
, pp. 241-298
-
-
Pitts, A.M.1
-
25
-
-
4243095416
-
Reasoning about local variables with operationally-based logical relations
-
P. W. O'Hearn and R. D. Tennent, editors chapter 17 Birkhauser
-
A. M. Pitts. Reasoning about local variables with operationally-based logical relations. In P. W. O'Hearn and R. D. Tennent, editors, Algol-Like Languages, volume 2, chapter 17, pages 173 - 193. Birkhauser, 1997.
-
(1997)
Algol-like Languages
, vol.2
, pp. 173-193
-
-
Pitts, A.M.1
-
29
-
-
0000230630
-
LCF considered as a programming language
-
Plotkin G.D. LCF considered as a programming language. Theoretical Computer Science. 5:1977;223-255
-
(1977)
Theoretical Computer Science
, vol.5
, pp. 223-255
-
-
Plotkin, G.D.1
-
34
-
-
0020919435
-
Types, abstraction and parametric polymorphism
-
R.E.A. Mason. North-Holland, Amsterdam
-
Reynolds J.C. Types, abstraction and parametric polymorphism. Mason R.E.A. Information Processing 83. 1983;513-523 North-Holland, Amsterdam
-
(1983)
Information Processing 83
, pp. 513-523
-
-
Reynolds, J.C.1
-
35
-
-
4444285121
-
On functors expressible in the polymorphic typed lambda calculus
-
Reynolds J.C., Plotkin G.D. On functors expressible in the polymorphic typed lambda calculus. Information and Computation. 105:1993;1-29
-
(1993)
Information and Computation
, vol.105
, pp. 1-29
-
-
Reynolds, J.C.1
Plotkin, G.D.2
-
37
-
-
0027986032
-
Typability and type-checking in the second-order λ-calculus are equivalent and undecidable
-
Paris, France: IEEE Computer Society Press
-
Wells J.B. Typability and type-checking in the second-order λ-calculus are equivalent and undecidable. In Proceedings, 9th Annual IEEE Symposium on Logic in Computer Science. 1994;176-185 IEEE Computer Society Press, Paris, France
-
(1994)
In Proceedings, 9th Annual IEEE Symposium on Logic in Computer Science
, pp. 176-185
-
-
Wells, J.B.1
|