Sciweavers

CATS
2006

Compositional Type Systems for Stack-Based Low-Level Languages

14 years 25 days ago
Compositional Type Systems for Stack-Based Low-Level Languages
Ando Saabas, Tarmo Uustalu
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where CATS
Authors Ando Saabas, Tarmo Uustalu
Comments (0)