%0 Conference Proceedings
%A Saabas, Ando
%A Uustalu, Tarmo
%D 2006
%T Compositional Type Systems for Stack-Based Low-Level Languages
%E Gudmundsson, Joachim
%E Jay, Barry
%B Twelfth Computing: The Australasian Theory Symposium (CATS2006)
%C Hobart, Australia
%I ACS
%V 51
%P 27-39
%S CRPIT
%! Compositional Type Systems for Stack-Based Low-Level Languages
%F CRPITV51-27-39
%Z abstract
%U http://crpit.com/confpapers/CRPITV51Saabas.pdf