Algebraic foundations for effect-dependent optimisations

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2012, Pages 349-360

  Kammar, Ohad ^a   Plotkin, Gordon D ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Algebraic theory of effects; Call by Push Value; Code transformations; Compiler optimisations; Computational effects; Denotational semantics; Domain theory; Inequational logic; Relevant and affine monads; Sum and tensor; Type and effect systems

Indexed keywords

ALGEBRAIC THEORIES; CALL-BY-PUSH-VALUE; CODE TRANSFORMATION; COMPILER OPTIMISATIONS; COMPUTATIONAL EFFECTS; DENOTATIONAL SEMANTICS; DOMAIN THEORY; INEQUATIONAL LOGIC; RELEVANT AND AFFINE MONADS; TYPE AND EFFECT SYSTEMS;

ABSTRACTING; ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; COSINE TRANSFORMS; STRUCTURAL OPTIMIZATION;

COMPUTATION THEORY;

EID: 84857876312     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2103656.2103698     Document Type: Conference Paper

References (48)

1. S. Abramsky and A. Jung. Hand. of Log. in CS, 3:1-168, 1994.
2. R. Atkey. Proc. 3rd CALCO, 3-17, 2009.
3. R. Atkey. JFP, 19:335-376, 2009.
4. N. Benton and P. Buchlovsky. Proc. 3rd TLDI, 15-26, 2007.
5. N. Benton and A. Kennedy. ENTCS, 26:3-20, 1999.
6. N. Benton et al. Proc. 11th PPDP, 301-312, 2009.
7. N. Benton et al. Proc. 4th APLAS, 114-130, 2006.
8. N. Benton et al. Proc. 9th PPDP, 87-96, 2007.
9. B. Eckmann and P. J. Hilton. Math. Ann., 145(3):227-255, 1962.
10. A. Filinski. Proc. 26th POPL, 175-188, 1999.
11. A. Filinski. TCS, 375(1-3):41-75, 2007.
12. A. Filinski. Proc. 37th POPL, 483-494, 2010.
13. C. Führmann. PhD thesis, University of Edinburgh, 2000.
14. C. Führmann. Proc. 5th FoSSaCS, 144-158, 2002.
15. A. D. Gordon and A. Jeffrey. J. Comput. Secur., 12:435-483, 2004.
16. M. Hennessy and G. D. Plotkin. Proc. 8th MFCS, 108-120, 1979.
17. M. Hyland and J. Power. TCS, 366(1-2):144-162, 2006.
18. M. Hyland and J. Power. ENTCS, 172:437-458, 2007.
19. M. Hyland, G. D. Plotkin, and J. Power. TCS, 357(1-3):70-99, 2006.
20. M. Hyland et al. TCS, 375(1-3):20-40, 2007.
21. B. Jacobs. Annals of Pure and Applied Logic, 69(1):73-106, 1994.
22. P. Johann et al. Proc. 25th LICS, 209-218, 2010.
23. R. B. Kieburtz. Proc. 3rd ICFP, 51-62, 1998.
24. A. Kock. Mathematica Scandinavia, 29:161-174, 1971.
25. P. B. Levy. Proc. 16th CSL, 232-246, 2002.
26. P. B. Levy. Call-by-Push-Value, Springer, 2004.
27. J. M. Lucassen and D. K. Gifford. Proc. 15th POPL, 47-57, 1988.
28. D. Marino and T. Millstein. Proc. 4th TLDI, 39-50, 2009.
29. P.-A. Melliès. Proc. 25th LICS, 150-159, 2010.
30. J. C. Mitchell. Hand. of TCS, B:365-458, 1990.
31. G. D. Plotkin. SIAM J. of Computing, 5:452-487, 1976.
32. G. D. Plotkin. LNCS, 4060:150-156, 2006.
33. G. D. Plotkin and J. Power. Proc. 4th FoSSaCS, 1-24, 2001.
34. G. D. Plotkin and J. Power. LNCS, 2303:342-356, 2002.
35. G. D. Plotkin and J. Power. ENTCS, 73:149-163, 2004.
36. G. D. Plotkin and M. Pretnar. Proc. 23rd LICS, 118-129, 2008.
37. G. D. Plotkin and M. Pretnar. Proc. 19th ESOP, 80-94, 2009.
38. J. Power. Theory and Applications of Categories, 6:83-93, 2000.
39. J. Power. ENTCS, 161:59-71, 2006.
40. M. Pretnar. PhD thesis, University of Edinburgh, 2009.
41. J. Reynolds. Proc. 2nd ICALP, 141-156, 1974.
42. S. Staton. ENTCS, 249:471-490, 2009.
43. T. Coquand et al. Inf. Comp., 93(1):172-221, 1991.
44. M. Tofte and J.-P. Talpin. Inf. Comp., 132(2):109-176, 1997.
45. A. P. Tolmach. Proc. 2nd TIC, 97-115, 1998.
46. P. Wadler. Proc. 3rd ICFP, 63-74, 1998.
47. P.Wadler and P. Thiemann. ACM Trans. Comp. Log., 4(1):1-32, 2003.
48. A. K. Wright and M. Felleisen. Inf. Comp., 115(1):38-94, 1994.