Modelling environments in call-by-value programming languages (2003)

by Paul Blain Levy , John Power , Hayo Thielecke
Citations:14 - 4 self

Active Bibliography

12 The Structure of Call-by-Value – Carsten Führmann - 2000
6 Environments, Continuation Semantics and Indexed Categories – John Power, Hayo Thielecke - 1997
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
459 Comprehending Monads – Philip Wadler - 1992
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
50 A new notation for arrows – Ross Paterson - 2001
5 Closed Freyd- and κ-Categories – John Power, Hayo Thielecke - 1999
38 Parameterised notions of computation – Robert Atkey - 2006