COPRODUCTS OF IDEAL MONADS (2004)

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

Documents Related by Co-Citation

766 Notions of Computation and Monads – Eugenio Moggi - 1991
209 Type-directed partial evaluation – Olivier Danvy - 1996
200 Sheaves in geometry and logic. A first introduction to topos theory. Corrected reprint of the 1992 edition. Universitext – S Mac Lane, I Moerdijk - 1994
184 Towards a practical programming language based on dependent type theory – Ulf Norell - 2007
225 Locally presentable and accessible categories – J Adámek, J Rosický - 1994
57 An inverse of the evaluation functional for typed λ–calculus – U Berger, H Schwichtenberg - 1991
56 Notions of Computation Determine Monads – Gordon Plotkin, John Power - 2002
48 Alpha-structural recursion and induction – Andrew M. Pitts - 2006
40 Normalization by evaluation for typed lambda calculus with coproducts – T. Altenkirch, P. Dybjer - 2001