Modelling environments in call-by-value programming languages-Reference-Cited by-同舟云学术

Modelling environments in call-by-value programming languages

Published:2003-09 Issue:2 Volume:185 Page:182-210
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Levy PaulBlain,Power John,Thielecke Hayo

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference17 articles.

1. Two-dimensional monad theory;Blackwell;Journal of Pure and Applied Algebra,1989

2. Categories for computation in context and unified logic;Blute;Journal of Pure and Applied Algebra,1997

3. Decomposing typed lambda calculus into a couple of categorical programming languages;Hasegawa,1995

4. B. Jacobs, Categorical Type Theory. PhD thesis, University of Nijmegen, 1991

5. The Basic Concepts of Enriched Categories;Kelly,1982

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

1. Concurrent monads for shared state;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09

2. Oxidizing OCaml with Modal Memory Management;Proceedings of the ACM on Programming Languages;2024-08-15

3. Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

4. Bialgebraic Reasoning on Higher-order Program Equivalence;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

5. An Intrinsically Typed Compiler for Algebraic Effect Handlers;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11