Ambidexter links
email Scott Turner
Andrzej Filinski, Declarative Continuations and Categorical Duality
Jean-Yves Girard, Yves Lafont, Paul Taylor, "Proofs and Types", Cambridge University Press, 1989
John Hughes, Generalising Monads to Arrows
Simon Peyton Jones, Wearing the hair shirt: a retrospective on Haskell
Paul B. Levy, Call-By-Push-Value
John C. Mitchell & Gordon Plotkin, Abstract types have existential type
Philip Wadler, Call-by-value is Dual to Call-by-name
Philip Wadler, Proofs are Programs: 19th Century Logic and 21st Century Computing