A logic for parametric polymorphism with effects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4941 LNCS, Issue , 2008, Pages 142-156

  Møgelberg, Rasmus Ejlers ^a   Simpson, Alex ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARBITRARY COMPUTATIONAL EFFECTS; NONDETERMINISM; PARAMETRIC POLYMORPHISM; POLYMORPHIC TYPE ENCODINGS;

CASE BASED REASONING; COMPUTATIONAL METHODS; ENCODING (SYMBOLS); POLYMORPHISM;

FORMAL LOGIC;

EID: 44649175920     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68103-8_10     Document Type: Conference Paper

References (12)

1. Birkedal, L., Møelberg, R.E.: Categorical models of Abadi-Plotkin's logic for parametricity. Mathematical Structures in Computer Science 15(4), 709-772 (2005)
2. Birkedal, L., Møgelberg, R.E., Petersen, R.L.: Linear Abadi & Plotkin logic. Logical Methods in Computer Science 2 (2006)
3. Levy, P.B.: Call By Push Value, a Functional/Imperative Synthesis. Kluwer, Dordrecht (2004)
4. Møgelberg, R.E., Simpson, A.K.: Relational parametricity for computational effects. In: LICS, pp. 346-355. IEEE Computer Society Press, Los Alamitos (2007)
5. Møgelberg, R.E., Simpson, A.K.: Relational parametricity for control considered as a computational effect. Electr. Notes Theor. Comput. Sci 173, 295-312 (2007)
6. Moggi, E.: Notions of computation and monads. Information and Computation 93, 55-92 (1991)
7. Plotkin, G.D., Abadi, M.: A logic for parametric polymorphism. In: Bezem, M., Groote, J.F. (eds.) TLCA 1993. LNCS, vol. 664, pp. 361-375. Springer, Heidelberg (1993)
8. Plotkin, G.D., Power, J.: Algebraic operations and generic effects. Applied Categorical Structures 11(1), 69-94 (2003)
9. Plotkin, G.D.: Type theory and recursion (extended abstract). In: Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993, p. 374. IEEE Computer Society Press, Los Alamitos (1993)
10. Reynolds, J.C.: Types, abstraction, and parametric polymorphism. Information Processing 83, 513-523 (1983)
11. Strachey, C.: Fundamental concepts in programming languages. Lecture Notes, International Summer School in Computer Programming, Copenhagen (August 1967)
12. Wadler, P.: Theorems for free. In: Proceedings 4th International Conference on Functional Programming languages and Computer Architectures (1989)