The Structure of Call-by-Value (2000)

Cached

Download Links

by Carsten Führmann
Citations:12 - 3 self

Active Bibliography

5 On the call-by-value CPS transform and its semantics – Carsten Führmann , Hayo Thielecke - 2004
32 A Semantic analysis of control – James David Laird - 1998
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
14 Modelling environments in call-by-value programming languages – Paul Blain Levy, John Power, Hayo Thielecke - 2003
6 Environments, Continuation Semantics and Indexed Categories – John Power, Hayo Thielecke - 1997
10 Relational parametricity and control – Masahito Hasegawa
62 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
Universal Properties of Impure Programming Languages – Sam Staton, Paul Blain Levy, Premonoidal Categories
12 Varieties of effects – Carsten Führmann - 2002
8 Combining algebraic effects with continuations – Martin Hyland, Paul Blain Levy , Gordon Plotkin , John Power - 2007
3 An Equational Notion of Lifting Monad – Anna Bucalo, Carsten Führmann, Alex Simpson - 2003
39 Categorical Models for Local Names – Ian Stark - 1996
21 Definitional interpreters revisited – John C. Reynolds, In Late, Jean Sammet, Burt Leavenworth, Art Evans - 1998
Amr Sabry – University Of Oregon, Amr Sabry, Philip Wadler - 1997
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
2 Categories and Types for Axiomatic Domain Theory – Adam Eppendahl - 2003
19 From Action Calculi to Linear Logic – Andrew Barber, Philippa Gardner, Masahito Hasegawa, Gordon Plotkin - 1998