Program equivalence in functional metaprogramming via nominal Scott domains

Steffen Loesch
A prominent feature of metaprogramming is to write algorithms in one programming language (the meta-language) over structures that represent the programs of another programming language (the object-language). Whenever the object-language has binding constructs (and most programming languages do), we run into tedious issues concerning the semantically correct manipulation of binders. In this thesis we study a semantic framework in which these issues can be dealt with automatically by the meta-language. Our framework takes the user-friendly...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.