A Monadic Interpretation of Tactics
Andrew Martin and Jeremy Gibbons
Details
| Note |
Submitted to MPC2002 |
Links
Related pages
|
People |
Andrew Martin and Jeremy Gibbons
| Note |
Submitted to MPC2002 |
|
People |