![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | Supplementary material supporting my PhD thesis | |
![]() | 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 | 08-Sep-2018 12:54 | 230K | Full IML specification of translated CBS funcons in a single file, refocussed |
![]() | CBS2IML-refocussed.zip | 08-Sep-2018 12:54 | 97K | Download the IML specifications of translated CBS funcons, refocussed |
![]() | CBS2IML-refocussed/ | 09-Sep-2018 11:48 | - | IML specifications of translated CBS funcons, refocussed |
![]() | CBS2IML.iml | 08-Sep-2018 12:54 | 221K | Full IML specification of translated CBS funcons in a single file |
![]() | CBS2IML.zip | 08-Sep-2018 12:54 | 97K | Download the IML specifications of translated CBS funcons |
![]() | CBS2IML/ | 09-Sep-2018 11:46 | - | IML specifications of translated CBS funcons |
![]() | caml-light-reuse.tar.gz | 06-Jan-2019 11:13 | 44K | 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 | 17-Sep-2018 22:28 | 17K | Mini case study |
![]() | supplementary.zip | 19-Sep-2018 11:43 | 2.9M | Download all supplementary material |
![]() | thesis.pdf | 19-Sep-2018 11:43 | 1.5M | PhD Thesis - L. Thomas van Binsbergen |