Categorical and Graphical Models of Programming Languages (2001)

Cached

Download Links

by Ralf Schweimeier
Citations:2 - 0 self

Active Bibliography

222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
21 A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types – Alan Jeffrey - 1995
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
88 Categorical Logic – Andrew M. Pitts - 1995
3 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten Führmann, Alex Simpson - 2003
47 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
Lambda-dropping: transforming recursive equations – Olivier Danvy A, Ulrik P. Schultz B
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
5 Typed event Structures and the π-calculus – Daniele Varacca, Nobuko Yoshida - 2006
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
29 General recursion via coinductive types – Venanzio Capretta
23 Algebraic Approaches to Nondeterminism - an Overview – Michal Walicki, Sigurd Meldal - 1997
15 Sequentiality vs. Concurrency in Games and Logic – Samson Abramsky - 2001
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000