-
1
-
-
84974356026
-
Explicit substitutions
-
Abadi, M., Cardelli, L., Curien, P.-L., and Lévy, J.-J. Explicit substitutions. Journal of Functional Programming 1(4) (1991) 375-416.
-
(1991)
Journal of Functional Programming
, vol.1
, Issue.4
, pp. 375-416
-
-
Abadi, M.1
Cardelli, L.2
Curien, P.-L.3
Lévy, J.-J.4
-
3
-
-
0005258611
-
4 report on the algorithmic language Scheme
-
4 report on the algorithmic language Scheme. ACM Lisp Pointers 4(3) (1991) 1-55.
-
(1991)
ACM Lisp Pointers
, vol.4
, Issue.3
, pp. 1-55
-
-
Clinger, W.1
Rees, J.2
-
4
-
-
0022692187
-
Categorical combinators
-
Curien, P.-L. Categorical combinators. Information and Control 69 (1986) 188-254.
-
(1986)
Information and Control
, vol.69
, pp. 188-254
-
-
Curien, P.-L.1
-
5
-
-
0026152557
-
An abstract framework for environment machines
-
Curien, P.-L. An abstract framework for environment machines. Theoretical Computer Science 82 (1991) 389-402.
-
(1991)
Theoretical Computer Science
, vol.82
, pp. 389-402
-
-
Curien, P.-L.1
-
6
-
-
0030101783
-
Confluence properties of weak and strong calculi of explicit substitutions
-
Curien, P.-L., Hardin, T., and Lévy, J.-J. Confluence properties of weak and strong calculi of explicit substitutions. Journal of the ACM 43(2) (1996) 362-397.
-
(1996)
Journal of the ACM
, vol.43
, Issue.2
, pp. 362-397
-
-
Curien, P.-L.1
Hardin, T.2
Lévy, J.-J.3
-
7
-
-
0029180275
-
Higher-order unification via explicit substitutions, extended abstract
-
Dowek, G., Hardin, T., and Kirchner, C. Higher-order unification via explicit substitutions, extended abstract. In Proceedings of the Symposium on Logic in Computer Science, 1995, pp. 366-374.
-
(1995)
Proceedings of the Symposium on Logic in Computer Science
, pp. 366-374
-
-
Dowek, G.1
Hardin, T.2
Kirchner, C.3
-
8
-
-
0023602624
-
A syntactic theory of sequential control
-
Felleisen, M., Friedman, D.P., Kohlbecker, E., and Duba, B. A syntactic theory of sequential control. Theoretical Computer Science 52(3) (1987) 205-237.
-
(1987)
Theoretical Computer Science
, vol.52
, Issue.3
, pp. 205-237
-
-
Felleisen, M.1
Friedman, D.P.2
Kohlbecker, E.3
Duba, B.4
-
10
-
-
85034595844
-
Environments as first-class objects
-
Gelernter, D., Jagannathan, S., and London, T. Environments as first-class objects. In Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987, pp. 98-110.
-
(1987)
Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages
, pp. 98-110
-
-
Gelernter, D.1
Jagannathan, S.2
London, T.3
-
12
-
-
0003432047
-
-
Cambridge University Press
-
Girard, J.-Y., Taylor, P., and Lafont, Y. Cambridge Tracts in Computer Science, Vol. 7: Proofs and Types. Cambridge University Press, 1989.
-
(1989)
Cambridge Tracts in Computer Science, Vol. 7: Proofs and Types
, vol.7
-
-
Girard, J.-Y.1
Taylor, P.2
Lafont, Y.3
-
14
-
-
0024700458
-
Confluence results for the pure strong categorical logic ccl, λ-calculi as subsystems of ccl
-
Hardin, T. Confluence results for the pure strong categorical logic ccl, λ-calculi as subsystems of ccl. Theoretical Computer Science 65 (1989) 291-342.
-
(1989)
Theoretical Computer Science
, vol.65
, pp. 291-342
-
-
Hardin, T.1
-
16
-
-
0027666650
-
Type inference with extended pattern matching and subtypes
-
Jategaonkar, L.A. andMitchell, J.C. Type inference with extended pattern matching and subtypes. Fundamenta Informaticae 19 (1993) 127-166.
-
(1993)
Fundamenta Informaticae
, vol.19
, pp. 127-166
-
-
Jategaonkar, L.A.1
Mitchell, J.C.2
-
19
-
-
1442283511
-
-
September
-
5 report on the algorithmic language Scheme. Higher- Order and Symbolic Computation 11(1) (1998) 7-105. Also appears in ACM SIGPLAN Notices 33(9), September 1998.
-
(1998)
ACM SIGPLAN Notices
, vol.33
, Issue.9
-
-
-
20
-
-
0001834942
-
Term rewriting systems
-
Clarendon Press
-
Klop, J.W. Term rewriting systems. In Handbook of Logic in Computer Science, Vol. 2. Clarendon Press, 1992, pp. 1-116.
-
(1992)
Handbook of Logic in Computer Science
, vol.2
, pp. 1-116
-
-
Klop, J.W.1
-
21
-
-
0023961088
-
Pebble, a kernel language for modules and abstract data types
-
Lampson, B. and Burstall, R. Pebble, a kernel language for modules and abstract data types. Information and Computation 76 (1988) 278-346.
-
(1988)
Information and Computation
, vol.76
, pp. 278-346
-
-
Lampson, B.1
Burstall, R.2
-
23
-
-
0343284824
-
Free variables and first-class environments
-
Miller, J.S. and Rozas, G.J. Free variables and first-class environments. Lisp and Symbolic Computation 4(2) (1991) 107-141.
-
(1991)
Lisp and Symbolic Computation
, vol.4
, Issue.2
, pp. 107-141
-
-
Miller, J.S.1
Rozas, G.J.2
-
24
-
-
21344476348
-
ML with first-class environments and its type inference algorithm
-
Springer
-
Nishizaki, S. ML with first-class environments and its type inference algorithm. In Lecture Notes in Computer Science, Vol. 792: Logic, Language and Computation. Springer, 1994, pp. 95-116.
-
(1994)
Lecture Notes in Computer Science, Vol. 792: Logic, Language and Computation
, vol.792
, pp. 95-116
-
-
Nishizaki, S.1
-
31
-
-
84949195708
-
Explicit environments
-
Jean-Yves Girard (Ed.). Springer-Verlag, L'Aquila, Italy, Lecture Notes in Computer Science
-
Sato, M., Sakurai, T., and Burstall, R. Explicit environments. In Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, Jean-Yves Girard (Ed.). Springer-Verlag, L'Aquila, Italy, 1999. Lecture Notes in Computer Science 1581.
-
(1999)
Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
, pp. 1581
-
-
Sato, M.1
Sakurai, T.2
Burstall, R.3
-
32
-
-
0030284459
-
An operational semantics of sharing in lazy evaluation
-
Seaman, J. and Iyer, S.P. An operational semantics of sharing in lazy evaluation. Science of Computer Programming 27(3) (1996) 286-322.
-
(1996)
Science of Computer Programming
, vol.27
, Issue.3
, pp. 286-322
-
-
Seaman, J.1
Iyer, S.P.2
-
33
-
-
0011231422
-
Reasoning about functions with effects
-
A.D. Gordon and A.M. Pitts, (Eds). Cambridge University Press
-
Talcott, C. Reasoning about functions with effects. In Higher-Order Operational Techniques in Semantics, A.D. Gordon and A.M. Pitts, (Eds). Cambridge University Press, 1996, pp. 347-390.
-
(1996)
Higher-Order Operational Techniques in Semantics
, pp. 347-390
-
-
Talcott, C.1
-
35
-
-
0025518981
-
Type inference for polymorphic references
-
Tofte, M. Type inference for polymorphic references. Information and Computation 89(1) (1990) 1-34.
-
(1990)
Information and Computation
, vol.89
, Issue.1
, pp. 1-34
-
-
Tofte, M.1
-
36
-
-
0026187053
-
Type inference for record concatenation and multiple inheritance
-
Wand, M. Type inference for record concatenation and multiple inheritance. Information and Computation 93 (1991) 1-15.
-
(1991)
Information and Computation
, vol.93
, pp. 1-15
-
-
Wand, M.1
|