The Categorical Abstract Machine: Basics and Enhancments

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)