Thesis
Supplementary material supporting my PhD thesis. Click here for the thesis itself
| Name | Last modified | Size | Description |
|---|---|---|---|
| ABSTRACT.txt | 12-Oct-2018 18:06 | 2.1K | Abstract of the thesis |
| CBS-beta-website.zip | 18-Sep-2018 17:21 | 874K | Download the CBS-beta website snapshot, containing CBS definitions of example languages and the core funcons. Browse it here: http://cbsbeta.ltvanbinsbergen.nl |
| CBS2IML-refocussed.iml | 22-Feb-2019 15:55 | 231K | Full IML specification of translated CBS funcons in a single file, refocussed |
| CBS2IML-refocussed.zip | 22-Feb-2019 15:51 | 105K | Download the IML specifications of translated CBS funcons, refocussed |
| CBS2IML.iml | 22-Feb-2019 15:55 | 222K | Full IML specification of translated CBS funcons in a single file |
| CBS2IML.zip | 22-Feb-2019 15:51 | 100K | Download the IML specifications of translated CBS funcons |
| caml-light-reuse.tar.gz | 22-Feb-2019 15:31 | 45K | Caml Light case study |
| funcons-intgen.tar.gz | 08-Sep-2018 13:02 | 48K | CBS to Haskell compiler, generating micro-intepreters from funcon definitions |
| funcons-lambda-cbv-mp.tar.gz | 08-Sep-2018 13:02 | 7.2K | Executable specification of a call-by value lambda-calculus with meta-programming (Van Binsbergen 2018) |
| funcons-tools.tar.gz | 08-Sep-2018 13:02 | 72K | The Haskell Funcon Framework: tools for executing funcon terms based on modular micro-interpreters |
| funcons-values.tar.gz | 08-Sep-2018 13:02 | 72K | A universe of types, values, and operations, corresponding to CBS built-ins |
| gll.tar.gz | 08-Sep-2018 13:02 | 36K | GLL parsing with flexible BNF combinators |
| iml-tools.tar.gz | 08-Sep-2018 13:02 | 65K | IML interpreter and tools |
| mini-reuse.tar.gz | 22-Feb-2019 15:31 | 17K | Mini case study |
| supplementary.zip | 22-Feb-2019 15:50 | 2.8M | Download all supplementary material |
| thesis.pdf | 24-Mar-2019 08:43 | 1.5M | PhD Thesis - L. Thomas van Binsbergen |