Traced Premonoidal Categories (1999)

by Nick Benton , Martin Hyland
Citations:7 - 0 self

Active Bibliography

7 Semantics of value recursion for monadic input/output – Levent Erkök, John Launchbury, Andrew Moran - 2002
11 Value Recursion in Monadic Computations – Levent Erkok - 2002
11 Axioms for Recursion in Call-by-Value – Masahito Hasegawa, Yoshihiko Kakutani - 2001
29 Complete Axioms for Categorical Fixed-point Operators – Alex Simpson, Gordon Plotkin - 2000
12 Arrows and computation – Ross Paterson - 2003
48 A new notation for arrows – Ross Paterson - 2001
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
1 A semantical approach to equilibria and rationality – Dusko Pavlovic - 905
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
10 A Recursive do for Haskell – Levent Erkök, John Launchbury - 2002
3 Parameterizations and Fixed-Point Operators on Control Categories – Yoshihiko Kakutani, Masahito Hasegawa - 2005
Hardware Design with Generalized Arrows – Adam Megacz
Traces for Coalgebraic Components – Ichiro Hasuo, Bart Jacobs - 2010
12 The Structure of Call-by-Value – Carsten Führmann - 2000
A Modal Language for Effects – Sungwoo Park, Robert Harper - 2004
A Logical View of Effects – Sungwoo Park , Robert Harper