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