Monads, Effects and Transformations-Reference-Cited by-同舟云学术

Monads, Effects and Transformations

Published:1999 Issue: Volume:26 Page:3-20
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Benton Nick,Kennedy Andrew

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference16 articles.

1. A unified approach to strictness analysis and optimising transformations;Benton;Technical Report 388, Computer Laboratory, University of Cambridge,1996

2. Compiling Standard ML to Java bytecodes;Benton;3rd ACM SIGPLAN International Conference on Functional Programming,1998

3. Integrating functional and imperative programming;Gifford,1986

4. A. Gordon. Functional Programming and Input/Output.PhD thesis, University of Cambridge, 1992. Published as Distinguished Dissertation in Computer Science, CUP, 1994.

5. Proving congruence of bisimulation in functional programming languages;Howe;Information and Computation,1996

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Program equivalence in an untyped, call-by-value functional language with uncurried functions;Journal of Logical and Algebraic Methods in Programming;2023-04

2. ANF preserves dependent types up to extensional equality;Journal of Functional Programming;2022

3. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12

4. Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order;Programming Languages and Systems;2019

5. Algebraic foundations for effect-dependent optimisations;ACM SIGPLAN Notices;2012-01-18