Morten Rhiger Compiling Embedded Programs to Byte Code. 120-136 2002 conf/padl/2002 PADL http://link.springer.de/link/service/series/0558/bibs/2257/22570120.htm db/conf/padl/padl2002.html#Rhiger02