-
1
-
-
0025624101
-
-
Abadi, M. and G.D. Plotkin, A per model of polymorphism and recursive types, in: LICS [13], pp. 355-365
-
-
-
-
2
-
-
33745781693
-
-
Ahmed, A., Step-indexed syntactic logical relations for recursive and quantified types, in: Fifteenth European Symposium on Programming, Vienna, Austria, 2006, pp. 69-83
-
-
-
-
3
-
-
0038559204
-
An indexed model of recursive types for foundational proof-carrying code
-
Appel A.W., and McAllester D.A. An indexed model of recursive types for foundational proof-carrying code. ACM Trans. Program. Lang. Syst. 23 (2001) 657-683
-
(2001)
ACM Trans. Program. Lang. Syst.
, vol.23
, pp. 657-683
-
-
Appel, A.W.1
McAllester, D.A.2
-
4
-
-
0000650306
-
Relational interpretations of recursive types in an operational setting
-
Birkedal L., and Harper R. Relational interpretations of recursive types in an operational setting. Information and Computation 155 (1999) 3-63
-
(1999)
Information and Computation
, vol.155
, pp. 3-63
-
-
Birkedal, L.1
Harper, R.2
-
5
-
-
33847645370
-
-
Filinski, A., On the relations between monadic semantics, in: John Reynolds Festschrift, 2007 To appear
-
-
-
-
6
-
-
0025683783
-
-
Freyd, P.J., Recursive types reduced to inductive types, in: LICS [13], pp. 498-507
-
-
-
-
7
-
-
33847634771
-
-
Girard, J.-Y., "Interprétation Fonctionnelle et Élimination des Coupures dans l'Arithmétique d'Ordre Supérieure," Ph.D. thesis, Université Paris VII (1972)
-
-
-
-
8
-
-
0003297091
-
Proofs and Types
-
Cambridge University Press, Cambridge, England
-
Girard J.-Y., Lafont Y., and Taylor P. Proofs and Types. Cambridge Tracts in Theoretical Computer Science 7 (1989), Cambridge University Press, Cambridge, England
-
(1989)
Cambridge Tracts in Theoretical Computer Science
, vol.7
-
-
Girard, J.-Y.1
Lafont, Y.2
Taylor, P.3
-
9
-
-
33847609599
-
-
Ho, W.K., An operational domain-theoretic treatment of recursive types, in: Twenty-Second Mathematical Foundations of Programming Semantics, 2006
-
-
-
-
10
-
-
0015482118
-
Proof of correctness of data representation
-
Hoare C.A.R. Proof of correctness of data representation. Artificial Intelligence 1 (1972) 271-281
-
(1972)
Artificial Intelligence
, vol.1
, pp. 271-281
-
-
Hoare, C.A.R.1
-
11
-
-
0024897313
-
-
Howe, D.J., Equality in lazy computation systems, in: Proceedings of the Fourth Annual Symposium on Logic in Computer Science (1989), pp. 198-203 URL citeseer.ist.psu.edu/howe89equality.html
-
-
-
-
12
-
-
0000627561
-
Proving congruence of bisimulation in functional programming languages
-
Howe D.J. Proving congruence of bisimulation in functional programming languages. Inf. Comput. 124 (1996) 103-112
-
(1996)
Inf. Comput.
, vol.124
, pp. 103-112
-
-
Howe, D.J.1
-
13
-
-
33847613858
-
-
IEEE Computer Society
-
Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA (1990), IEEE Computer Society
-
(1990)
Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA
-
-
-
15
-
-
85051039925
-
-
Mitchell, J.C., Representation independence and data abstraction, in: Thirteenth ACM SIGACT/SIGPLAN Symposium on Principles of Programming Languages, 1986, pp. 263-276
-
-
-
-
18
-
-
0002057409
-
Operationally-based theories of program equivalence
-
Dybjer P. (Ed), Cambridge University Press
-
Pitts A.M. Operationally-based theories of program equivalence. In: Dybjer P. (Ed). Semantics and Logics of Computation (1995), Cambridge University Press 241-283. URL citeseer.ist.psu.edu/113777.html
-
(1995)
Semantics and Logics of Computation
, pp. 241-283
-
-
Pitts, A.M.1
-
19
-
-
0002796916
-
Relational properties of domains
-
Pitts A.M. Relational properties of domains. Information and Computation 127 (1996) 66-90
-
(1996)
Information and Computation
, vol.127
, pp. 66-90
-
-
Pitts, A.M.1
-
20
-
-
84878538793
-
Existential types: Logical relations and operational equivalence
-
ICALP. Larsen K.G., Skyu S., and Winskel G. (Eds)
-
Pitts A.M. Existential types: Logical relations and operational equivalence. In: Larsen K.G., Skyu S., and Winskel G. (Eds). ICALP. Lecture Notes in Computer Science vol. 1443 (1998) 309-326
-
(1998)
Lecture Notes in Computer Science
, vol.1443
, pp. 309-326
-
-
Pitts, A.M.1
-
21
-
-
0001233777
-
Parametric polymorphism and operational equivalence
-
Pitts A.M. Parametric polymorphism and operational equivalence. Mathematical Structures in Computer Science 10 (2000) 321-359
-
(2000)
Mathematical Structures in Computer Science
, vol.10
, pp. 321-359
-
-
Pitts, A.M.1
-
22
-
-
0000230630
-
LCF considered as a programming language
-
Plotkin G.D. LCF considered as a programming language. Theor. Comput. Sci. 5 (1977) 225-255
-
(1977)
Theor. Comput. Sci.
, vol.5
, pp. 225-255
-
-
Plotkin, G.D.1
-
23
-
-
33847664180
-
-
Plotkin, G.D., Domain theory (1983), unpublished Notes. URL http://homepages.inf.ed.ac.uk/gdp/publications/Domains.ps
-
-
-
-
24
-
-
2942514538
-
The origins of structural operational semantics
-
Plotkin G.D. The origins of structural operational semantics. J. Log. Algebr. Program. 60-61 (2004) 3-15
-
(2004)
J. Log. Algebr. Program.
, vol.60-61
, pp. 3-15
-
-
Plotkin, G.D.1
-
25
-
-
2942572885
-
A structural approach to operational semantics
-
Plotkin G.D. A structural approach to operational semantics. J. Log. Algebr. Program. 60-61 (2004) 17-139
-
(2004)
J. Log. Algebr. Program.
, vol.60-61
, pp. 17-139
-
-
Plotkin, G.D.1
-
26
-
-
85028748723
-
A logic for parametric polymorphism
-
TLCA. Bezem M., and Groote J.F. (Eds)
-
Plotkin G.D., and Abadi M. A logic for parametric polymorphism. In: Bezem M., and Groote J.F. (Eds). TLCA. Lecture Notes in Computer Science 664 (1993) 361-375
-
(1993)
Lecture Notes in Computer Science
, vol.664
, pp. 361-375
-
-
Plotkin, G.D.1
Abadi, M.2
-
27
-
-
85035042395
-
On the relation between direct and continuation semantics
-
Second Colloquium on Automata, Languages and Programming
-
Reynolds J.C. On the relation between direct and continuation semantics. Second Colloquium on Automata, Languages and Programming. Lecture Notes in Computer Science vol. 14 (1974) 141-156
-
(1974)
Lecture Notes in Computer Science
, vol.14
, pp. 141-156
-
-
Reynolds, J.C.1
-
28
-
-
84976827574
-
Towards a theory of type structure
-
Colloq. sur la Programmation
-
Reynolds J.C. Towards a theory of type structure. Colloq. sur la Programmation. Lecture Notes in Computer Science vol. 19 (1974) 408-423
-
(1974)
Lecture Notes in Computer Science
, vol.19
, pp. 408-423
-
-
Reynolds, J.C.1
-
29
-
-
0020919435
-
-
Reynolds, J.C., Types, abstraction, and parametric polymorphism, in: R.E.A. Mason, editor, Information Processing '83 (1983), pp. 513-523
-
-
-
-
30
-
-
33847612386
-
-
Riecke, J.G. and R. Subrahmanyam, Semantic orthogonality of type disciplines (1997), (Unpublished manuscript.). URL citeseer.ist.psu.edu/riecke97semantic.html
-
-
-
-
31
-
-
0000874096
-
The category-theoretic solution of recursive domain equations
-
Smyth M.B., and Plotkin G.D. The category-theoretic solution of recursive domain equations. SIAM J. Comput. 11 (1982) 761-783
-
(1982)
SIAM J. Comput.
, vol.11
, pp. 761-783
-
-
Smyth, M.B.1
Plotkin, G.D.2
-
32
-
-
0022068576
-
Logical relations and the typed λ-calculus
-
Statman R. Logical relations and the typed λ-calculus. Information and Control 65 (1985) 85-97
-
(1985)
Information and Control
, vol.65
, pp. 85-97
-
-
Statman, R.1
-
33
-
-
29144437303
-
-
Sumii, E. and B.C. Pierce, A bisimulation for type abstraction and recursion, in: POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2005), pp. 63-74
-
-
-
-
34
-
-
2442466873
-
-
Vouillon, J. and P.-A. Melliès, Semantic types: A fresh look at the ideal model for types, in: Thirty-First ACM Symposium on Principles of Programming Languages, Venice, Italy, 2004, pp. 52-63
-
-
-
-
35
-
-
84944106308
-
-
Wadler, P., Theorems for free!, in: FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture (1989), pp. 347-359
-
-
-
-
36
-
-
84944106308
-
-
Wadler, P., Theorems for free!, in: Fourth Conference on Functional Programming Languages and Computer Architecture, London, 1989
-
-
-
|