Environments, Continuation Semantics and Indexed Categories (1997)

Cached

Download Links

by John Power , Hayo Thielecke
Venue:Theoretical Aspects of Computer Software, number 1281 in Lect. Notes Comp. Sci
Citations:6 - 2 self

Active Bibliography

12 The Structure of Call-by-Value – Carsten Führmann - 2000
14 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003
32 A Semantic analysis of control – James David Laird - 1998
5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
10 Relational parametricity and control – Masahito Hasegawa
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
11 Using a Continuation Twice and Its Implications for the Expressive Power of Call/cc – Hayo Thielecke - 1998
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
9 Duality between Call-by-Name Recursion and Call-by-Value Iteration – Yoshihiko Kakutani, Ii Yoshihiko Kakutani - 2001
6 Semantics of linear continuation-passing in call-by-name – Masahito Hasegawa - 2004
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
7 Continuation Semantics and Self-adjointness – Hayo Thielecke - 1997
4 Recursive Types in Games: Axiomatics and Process Representation (Extended Abstract) – Marcelo Fiore, Kohei Honda - 1998
5 Generic Models for Computational Effects – John Power
Universal Properties of Impure Programming Languages – Sam Staton, Paul Blain Levy, Premonoidal Categories
15 Call-By-Push-Value: A Subsuming Paradigm – Paul Blain Levy - 1999
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001