www.comlab.ox.ac.uk/publications/publication2520-abstract.html

A Monadic Interpretation of Tactics

Andrew Martin and Jeremy Gibbons

Details

Note

Submitted to MPC2002

Links

BibTeX

Related pages

People

Andrew Martin