The Categorical Abstract Machine: Basics and Enhancments
Ralf Hinze
Details
| Institution |
Institut für Informatik III‚ Universität Bonn |
| Month |
dec |
| Number |
IAI−TR−92−1 |
| Year |
1992 |
Links
Related pages
|
People |
|
|
Activities |