Skip to main content

A Monadic Interpretation of Tactics

Andrew Martin and Jeremy Gibbons

Note
Submitted to MPC2002