Parameterised notions of computation

Journal of Functional Programming

Volumn 19, Issue 3-4, 2009, Pages 335-376

  Atkey, Robert ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSABLE; COMPUTATIONAL EFFECTS; INPUT/OUTPUT; NON TERMINATIONS; NON-DETERMINISM; SIDE EFFECT;

BIOMINERALIZATION; SET THEORY;

PARAMETERIZATION;

EID: 67749102277     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S095679680900728X     Document Type: Article

References (37)

1. Atkey, R. (2006) Substructural Simple Type Theories for Separation and In-place Update. PhD thesis, University of Edinburgh.
2. Barendsen, E. & Smetsers, S. (1993) Conventional and uniqueness typing in graph rewrite systems (extended abstract). In Proceedings of the 13th Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS '93 (Bombay, December 1993), Shyamasundar, R. K. (ed). Lecture Notes in Computer Science, vol. 761. Springer, pp. 41-51.
3. Benton, N., Kennedy, A., Hofmann, M. & Beringer, L. (2006) Reading, writing and relations. In Proceedings of the 4th Asian Symposium on Programming Languages and Systems, APLAS 2006 (Sydney, November 2006), Kobayashi, N. (ed). Lecture Notes in Computer Science, vol. 4279. Springer, pp. 114-139.
4. Birkedal, L., Torp-Smith, N. & Yang, H. (2006) Semantics of separation-logic typing and higher-order frame rules for Algol-like languages, Logical Meth. Comput. Sci. 2 (5), article 1.
5. Danvy, O. & Filinski, A. (1989) A functional abstraction of typed contexts. Technical Report 89/12, Computer Science Department, University of Copenhagen.
6. Ghani, N. (1995) Adjoint Rewriting. PhD thesis, University of Edinburgh.
7. Girard, J.-Y. (1987) Linear logic, Theor. Comput. Sci. 50 (1): 1-101.
8. Harrington, D. (2006) Uniqueness logic, Theor. Comput. Sci. 354 (1): 24-41.
9. Hofmann, M. (2000) A type system for bounded space and functional in-place update, Nordic J. Comput. 7 (4): 258-289.
10. Levy, P. B., Power, J. & Thielecke, H. (2003) Modelling environments in call-by-value programming languages, Info. Comput. 185 (2): 182-210.
11. Lucassen, J. M. & Gifford, D. K. (1988) Polymorphic effect systems. In Conference Record of 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '88, San Diego, CA, January 1988. ACM Press, pp. 47-57.
12. Mac Lane, S. (1998) Categories for the Working Mathematician, 2nd ed., Graduate Texts in Mathematics, vol. 5. Springer.
13. Moggi, E. (1989) Computational lambda-calculus and monads. In Proceedings of the 4th Annual IEEE Symposium on Logic in Computer Science, LICS '89 (Pacific Grove, CA, June 1989), IEEE CS Press, pp. 14-23.
14. Moggi, E. (1991) Notions of computation and monads, Info. Comput. 93 (1): 55-92.
15. 3: A linear language with locations. In Proceedings of the 7th International Conference on Typed Lambda Calculi and Applications, TLCA 2005 (Nara, April 2005), Urzyczyn, P. (ed). Lecture Notes in Computer Science, vol. 3461. Springer, pp. 293-307.
16. Nanevski, A., Morrisett, G. & Birkedal, L. (2006) Polymorphism and separation in Hoare type theory. In Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP '06 (Portland, OR, September 2006), ACM Press, pp. 62-73.
17. Nielson, F. & Riis Nielson, H. (1996) From CML to its process algebra, Theor. Comput. Sci. 155 (1): 179-219.
18. O'Hearn, P., Reynolds, J. & Yang, H. (2001) Local reasoning about programs that alter data structures. In Proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001 (Paris, September 2001), Fribourg, L. (ed). Lecture Notes in Computer Science, vol. 2142. Springer, pp. 1-19.
19. O'Hearn, P. W., Yang, H. & Reynolds, J. C. (2004) Separation and information hiding. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004 (Venice, January 2004), ACM Press, pp. 268-280.
20. Peyton Jones, S. L. & Wadler, P. (1993) Imperative functional programming. In Conference Record of 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1993, Charleston, SC, January 1993. ACM Press, pp. 71-84.
21. Plotkin, G. & Power, J. (2002) Notions of computation determine monads. In Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2002 (Grenoble, April 2002), Nielsen, M. & Engberg, U. (eds). Lecture Notes in Computer Science, vol. 2303. Springer, pp. 342-356.
22. Power, J. & Robinson, E. (1997) Premonoidal categories and notions of computation, Math. Struct. Comput. Sci. 7 (5): 453-468.
23. Power, J. & Thielecke, H. (1999) Closed Freyd- and κ-categories. In Proceedings of the 26th International Colloquium on Automata, Languages and Programming, ICALP 1999 (Prague, July 1999), Wiedermann, J., van Emde Boas, P. & Nielsen, M. (eds). Lecture Notes in Computer Science, vol. 1644. Springer, pp. 625-634.
24. Skalka, C. & Smith, S. (2004) History effects and verification. In Proceedings of the 2nd Asian Symposium on Programming Languages and Systems, APLAS 2004 (Taipei, November 2004), Chin, W.-N. (ed). Lecture Notes in Computer Science, vol. 3302. Springer, pp. 107-128.
25. Smith, F., Walker, D. & Morrisett, G. (2000) Alias types. In Proceedings of the 9th European Symposium on Programming, ESOP 2000 (Berlin, March/April 2000), Smolka, G. (ed). Lecture Notes in Computer Science, vol. 1782. Springer, pp. 366-381.
26. Taylor, P. (1999) Practical Foundations of Mathematics. Cambridge Studies in Advanced Mathematics, vol. 59. Cambridge University Press.
27. Thielecke, H. (1997) Categorical Structure of Continuation Passing Style. PhD thesis, University of Edinburgh.
28. Uustalu, T. (2003) Generalizing substitution, Theor. Info. Appl. 37 (4): 315-336.
29. Vasconcelos, V., Gay, S. & Ravara, A. (2006) Typechecking a multithreaded functional language with session types, Theor. Comput. Sci. 368 (1-2): 64-87.
30. Wadler, P. (1990) Linear types can change the world! In Proceedings of the IFIP WG2.2/2.3 Working Conference on Programming Concepts and Methods (Tiberias, April 1990), Broy, M. & Jones, C. (eds). North-Holland, pp. 561-581.
31. Wadler, P. (1991) Is there a use for linear logic? In Proceedings of the 1991 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 1991 (New Haven, CT, June 1991), ACM Press, pp. 255-273.
32. Wadler, P. (1994) Monads and composable continuations, Lisp Symb. Comput. 7 (1): 39-56.
33. Wadler, P. & Thiemann, P. (2003) The marriage of effects and monads, ACM Trans. Comput. Logic, 4 (1): 1-32.
34. Walker, D. (2005) Substructural type systems. In Advanced Topics in Types and Programming Languages, Pierce, B. C. (ed). MIT Press, pp. 3-43.
35. Walker, D., Crary, K. & Morrisett, G. (2000) Typed memory management via static capabilities, ACM Trans. Prog. Lang. Syst., 22 (4): 701-771.
36. Walker, D. & Morrisett, G. (2000) Alias types for recursive data structures. In Revised Selected Papers from 3rd International Workshop on Types in Compilation, TIC 2000, Montreal, September 2000, Harper, R. (ed). Lecture Notes in Computer Science, vol. 2071. Springer, pp. 177-206.
37. Zhu, D. & Xi, H. (2005) Safe programming with pointers through stateful views. In Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages, PADL 2005 (Long Beach, CA, January 2005), Hermenegildo, M. & Cabeza, D. (eds). Lecture Notes in Computer Science, vol. 3350. Springer, pp. 83-97.