arrows pointing right and left

Ambidexter links


email Scott Turner
home
Ambidexter

summary
examples
tutorial
questions
rationale
download
reference
links

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

Support open standards!  
Valid XHTML 1.0!