Skip to main content

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