Imprecise exceptions, co-inductively

Electronic Notes in Theoretical Computer Science

Volumn 26, Issue , 1999, Pages 122-141

  Moran, Andrew ^a   Lassen, Søren B ^b   Jones, Simon Peyton ^c  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^b UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^c MICROSOFT RESEARCH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONVERGENT BEHAVIOR; FUNCTIONAL LANGUAGE; FUNCTIONAL PROGRAMMING LANGUAGES; PROGRAM TRANSFORMATIONS;

COMPUTER PROGRAMMING; CONVERGENCE OF NUMERICAL METHODS; LINEAR ALGEBRA; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0003504691     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80288-9     Document Type: Conference Paper

References (13)

1. S. Abramsky, The lazy lambda calculus, Research Topics in Functional Programming (D. Turner, ed.), Addison-Wesley, 1990.
2. Cousot P., Cousot R. Inductive definitions, semantics and abstract interpretation. Proc. POPL'91. January 1991;ACM Press
3. Gordon A.D. Functional programming and input/output. 1994;Distinguished Dissertations in Computer Science
4. Hughes J., Moran A.K. Making choices lazily. Proc. FPCA'95. June 1995;108-119 ACM Press
5. Howe D. Proving congruence of bisimulation in functional programming. Information and Computation. 124:(no. 2):1996;103-112
6. S. B. Lassen, Relational reasoning about functions and nondeterminism, Ph.D. thesis, Department of Computer Science, University of Aarhus, December 1998, BRICS Dissertation Series DS-98-2.
7. A. K. Moran, Call-by-name, call-by-need, and McCarthy's Amb, Ph.D. thesis, Department of Computing Science, Chalmers University of Technology, September 1998.
8. Moran A.K., Sands D. Improvement in a lazy context: An operational theory for call-by-need. Proc. POPL'99, ACM. 1999
9. Moran A.K., Sands D., Carlsson M. Erratic Fudgets: A semantic theory for an embedded coordination language. Coordination '99, LNCS 1594, Springer-Verlag. 1999
10. Peyton Jones S.L., Gordon A.D., Finne S. Concurrent Haskell. Proc. POPL'96. 1996;295-308 ACM Press
11. S. L. Peyton Jones, A. Reid, C. A. R. Hoare, S. Marlow, and F. Henderson, A semantics for imprecise exceptions, ACM SIGPLAN Notices 34 (1999), no. 5, 25-36, Proc. of PLDI'99.
12. Peyton Jones S.L., Wadler P. Imperative functional programming. Proc. POPL'93. 1993;71-84 ACM Press
13. Plotkin G.D. Call-by-name, call-by-value and the A-calculus. Theoretical Computer Science. 1:1975;125-159