The Categorical Abstract Machine: Basics and Enhancments
Main Author: | Hinze, R |
---|---|
Format: | Report |
Published: |
Institut für Informatik III‚ Universität Bonn
1992
|
Similar Items
-
Categorical abstract machines for higher-order typed lambda-calculi
by: Ritter, E
Published: (1994) -
Towards a categorical foundation for generic programming
by: Hinze, R, et al.
Published: (2011) -
Towards a Categorical Foundation for Generic Programming
by: Hinze, R, et al.
Published: (2011) -
Categorical logic of names and abstraction in action calculus
by: Pavlovic, D
Published: (1997) -
Basic Level of Categorization in Macaca fascicularis
by: KANTHI ARUM WIDAYATI, et al.
Published: (2011-12-01)