Sciweavers

65
Voted
APLAS
2005
ACM

A Typed, Compositional Logic for a Stack-Based Abstract Machine

15 years 2 months ago
A Typed, Compositional Logic for a Stack-Based Abstract Machine
Nick Benton
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where APLAS
Authors Nick Benton
Comments (0)