A Study in Higher-Order Programming Languages

This thesis describes some interplays between the specication and the imple- mentation of higher-order programming languages. We rst investigate a traditional imple- mentation of Scheme (compiler, run-time machine). We then turn to Action Semantics. And nally we cross-fertilize these two approaches using both syntax-directed and type-directed partial evaluation and introducing an alternative representation of data structures.