Optimizing ML using a hierarchy of monadic types

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

Volumn 1473, Issue , 1998, Pages 97-115

  Tolmach, Andrew ^a  

^a PORTLAND STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

FUNCTIONAL LANGUAGES; NON TERMINATIONS; SUBEXPRESSION; TYPE SYSTEMS;

SEMANTICS;

EID: 84938810844     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055514     Document Type: Conference Paper

References (21)

1. A. Appel. Compiling with Continuations. Cambridge University Press, 1992.
2. A. Appel. Loop headers in λ-calculus or CPS. Lisp and Symbolic Computation, 7(4): 337-343, 1994.
3. N. Benton, July 1997. Personal communication.
4. L. Birkedal, M. Tofte, and M. Vejlstrup. Prom region inference to von Neumann machines via region representation inference. In 23rd ACM Symposium on Principles of Programming Languages (POPI'96), pages 171-183. ACM Press, 1996.
5. C. Flanagan, A. Sabry, B. F. Duba, and M. Felleisen. The essence of compiling with continuations. Proc. SIGPLAN Conference on Programming Language Design and Implementation, 28(6): 237-247, June 1993.
6. D. Gifford, P. Jouvelot, J. Lucassen, and M. Sheldon. FX-87 REFERENCE MANUAL. Technical Report MIT-LCS//MIT/LCS/TR-407, Massachusetts Institute of Technology, Laboratory for Computer Science, Sept. 1987.
7. R. Kieburtz and J. Launchbury. Encapsulated effects, (unpublished manuscript), Oct. 1995.
8. R. Kieburtz and J. Launchbury. Towards algebras of encapsulated effects, (unpublished manuscript), 1997.
9. J. Launchbury and S. Peyton Jones. State in Haskell. Lisp and Symbolic Computation, pages 293-351, Dec. 1995.
10. S. Liang, P. Hudak, and M. Jones. Monad transformers and modular interpreters. In 22nd ACM Symposium on Principles of Programming Languages (POPL '95), Jan. 1995.
11. S. Peyton Jones, J. Launchbury, M. Shields, and A. Tolmach. Bridging the gulf: a common intermediate language for ml and haskel. In 25th ACM Symposium on Principles of Programming Languages (POPI'98), pages 49-61, San Diego, Jan 1998.
12. S. Peyton Jones and J. Launchbury. Unboxed values as first class citizens. In Proc. Functional Programming Languages and Computer Architecture (FPCA '91), pages 636-666, Sept. 191.
13. S. Peyton Jones and P. Wadler. Imperative functional programming. In 20th ACM Symposium on Principles of Programming Languages (POPI'93), pages 71-84, Jan. 1993.
14. S. Peyton Jones. Compiling Haskell by program transformation: A report from the trenches. In Proceedings of ESOP'96, volume 1058 of Lecture Notes in Computer Science, pages 18-44. Springer Verlag, 1996.
15. J.-P. Talpin and P. Jouvelot. Polymorphic type, region and effect inference. Journal of Functional Programming, 2: 245-271, 1992.
16. J.-P. Talpin and P. Jouvelot. The type and effect discipline. Information and Computation, 111(2): 245-296, June 1994.
17. D. Tarditi. Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML. PhD thesis, Carnegie Mellon University, Dec. 1996. Technical Report CMU-CS-97-108.
18. M. Tofte and J.-R Talpin. Region-based memory management. Information and Computation, 132(2): 109-176, 1 Feb. 1997.
19. A. Tolmach and D. Oliva. From ML to Ada: Strongly-typed language interoperability via source trans lation. Journal of Functional Programming, 1998. (to appear).
20. P. Wadler. The marriage of effects and monads, (unpublished manuscript), Mar. 1998.
21. A. Wright. Typing references by effect inference. In Proc. 4th European Symposium on Programming (ESOP '92), volume 582 of Lecture Notes in Computer Science, Feb. 1992.