Compositional Type Systems for Stack-Based Low-Level Languages.

Ando Saabas Tarmo Uustalu Compositional Type Systems for Stack-Based Low-Level Languages. 27-39 2006 CATS http://crpit.com/abstracts/CRPITV51Saabas.html conf/cats/2006 db/conf/cats/cats2006.html#SaabasU06