The Categorical Abstract Machine: Basics and Enhancments

Míreanna comhchosúla

• Categorical abstract machines for higher-order typed lambda-calculi
  de réir: Ritter, E
  Foilsithe / Cruthaithe: (1994)
• Categorical logic of names and abstraction in action calculus
  de réir: Pavlovic, D
  Foilsithe / Cruthaithe: (1997)
• Towards a categorical foundation for generic programming
  de réir: Hinze, R, et al.
  Foilsithe / Cruthaithe: (2011)
• Towards a Categorical Foundation for Generic Programming
  de réir: Hinze, R, et al.
  Foilsithe / Cruthaithe: (2011)
• Polytypic Programming With Ease (Extended Abstract)
  de réir: Hinze, R
  Foilsithe / Cruthaithe: (1999)