COPRODUCTS OF IDEAL MONADS (2004)

by Neil Ghani , Tarmo Uustalu
Citations:4 - 1 self

Documents Related by Co-Citation

18 Normalization by Evaluation for the Computational Lambda-Calculus – Andrzej Filinski - 2001
30 Setoids in Type Theory – Gilles Barthe, Venanzio Capretta, Olivier Pons - 2000
39 Normalization by evaluation for typed lambda calculus with coproducts – T. Altenkirch, P. Dybjer - 2001
31 Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums, in: POPL’04 – V Balat, R Di Cosmo, M Fiore - 2004
16 Semantic analysis of normalisation by evaluation for typed lambda calculus – M Fiore
17 Normalization and partial evaluation – Peter Dybjer, Andrzej Filinski - 2002
5 A note on rewriting theory for uniqueness of iteration, Theory and Applications of Categories 6 – M Okada, P Scott - 1999
9 Normalization by evaluation for λ →2 – Thorsten Altenkirch, Tarmo Uustalu - 2004
13 Handlers of Algebraic Effects – Gordon Plotkin, Matija Pretnar
7 A Generic Operational Metatheory for Algebraic Effects ∗ – Patricia Johann, Alex Simpson, Janis Voigtländer
2 Accumulating bindings – Sam Lindley
6 Structural Recursion with Locally Scoped Names – Andrew M. Pitts
5 Linearly-used state in models of call-by-value – Rasmus Ejlers Møgelberg, Sam Staton
6 Algebraic foundations for effectdependent optimisations – Ohad Kammar, Gordon D. Plotkin - 2012
5 The logic and handling of algebraic effects – M Pretnar - 2010
8 Segal condition meets computational effects – P-A Melliès
2 A type checker that knows its monad from its elbow (2011), http://bentnib.org/posts – R Atkey
3 Formalizing a strong normalization proof for Moggi’s computational metalanguage: a case study – C Doczkal, J Schwinghammer
2 Local stores in string diagrams – P-A Melliès - 2011