A generic operational metatheory for algebraic effects

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2010, Pages 209-218

  Johann, Patricia ^a   Simpson, Alex ^b   Voigtländer, Janis ^c  

^a UNIVERSITY OF STRATHCLYDE   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c UNIVERSITY OF BONN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; MACHINERY; SEMANTICS; SYNTACTICS;

ALGEBRAIC EFFECTS; COMPUTATION TREES; FUNDAMENTAL PROPERTIES; NON-DETERMINISM; PROBABILISTIC CHOICES; RELATIONAL PARAMETRICITY; STRUCTURAL OPERATIONAL SEMANTICS; SYNTACTIC ANALYSIS;

ALGEBRA;

EID: 78449290995     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2010.29     Document Type: Conference Paper

References (23)

1. I. Mason and C. Talcott, "Equivalence in functional languages with effects," Journal of Functional Programming, vol. 1, pp. 287-327, 1991.
2. A. Pitts and I. Stark, "Operational reasoning for functions with local state," in Higher Order Operational Techniques in Semantics, Proceedings, 1998, pp. 227-273.
3. S. Lassen, "Relational reasoning about functions and nondeterminism," Ph.D. dissertation, University of Aarhus, 1998.
4. G. Plotkin, "LCF considered as a programming language," Theoretical Computer Science, vol. 5, pp. 223-255, 1977.
5. -, "A structural approach to operational semantics," Journal of Logic and Algebraic Programming, vol. 60-61, pp. 17-139, 2004.
6. -, "Adequacy for infinitary algebraic effects," in Conference on Algebra and Coalgebra in Computer Science, Proceedings, 2009, pp. 1-2.
7. G. Plotkin and J. Power, "Adequacy for algebraic effects," in Foundations of Software Science and Computation Structures, Proceedings, 2001, pp. 1-24.
8. -, "Notions of computation determine monads," in Foundations of Software Science and Computation Structures, Proceedings, 2002, pp. 342-356.
9. -, "Algebraic operations and generic effects," Applied Categorical Structures, vol. 11, pp. 69-94, 2003.
10. E. Moggi, "Computational lambda-calculus and monads," in Logic in Computer Science, Proceedings, 1989, pp. 14-23.
11. A. Pitts, "Parametric polymorphism and operational equivalence," Mathematical Structures in Computer Science, vol. 10, pp. 321-359, 2000.
12. -, "Typed operational reasoning," in Advanced Topics in Types and Programming Languages, B. Pierce, Ed. MIT Press, 2005, pp. 245-289.
13. R. Milner, "Fully abstract models of typed λ-calculi," Theoretical Computer Science, vol. 4, pp. 1-22, 1977.
14. R. Møgelberg and A. Simpson, "Relational parametricity for computational effects," in Logic in Computer Science, Proceedings, 2007, pp. 346-355.
15. P. Johann, "Short cut fusion is correct," Journal of Functional Programming, vol. 13, pp. 797-814, 2003.
16. J. Voigtländer and P. Johann, "Selective strictness and parametricity in structural operational semantics, inequationally," Theoretical Computer Science, vol. 388, pp. 290-318, 2007.
17. P. Johann and J. Voigtländer, "A family of syntactic logical relations for the semantics of Haskell-like languages," Information and Computation, vol. 207, pp. 341-368, 2009.
18. L. Aceto, W. Fokkink, and C. Verhoef, "Structural operational semantics," in Handbook of Process Algebra. Elsevier, 2001, pp. 197-292.
19. J. Leifer and R. Milner, "Deriving bisimulation congruences for reactive systems," in Conference on Concurrency Theory, Proceedings, 2000, pp. 243-258.
20. P. Sewell, "From rewrite rules to bisimulation congruences," Theoretical Computer Science, vol. 274, pp. 183-230, 2002.
21. D. Sangiorgi, N. Kobayashi, and E. Sumii, "Environmental bisimulations for higher-order languages," in Logic in Computer Science, Proceedings, 2007, pp. 293-302.
22. E. Sumii, "A complete characterization of observational equivalence in polymorphic lambda-calculus with general references," in Computer Science Logic, Proceedings, 2009, pp. 455-469.
23. M. Hyland, G. Plotkin, and J. Power, "Combining effects: Sum and tensor," Theoretical Computer Science, vol. 357, pp. 70-99, 2006.