Index of /thesis

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  - Supplementary material supporting my PhD thesis
[   ]funcons-tools.tar.gz08-Sep-2018 13:02 72KThe Haskell Funcon Framework: tools for executing funcon terms based on modular micro-interpreters
[   ]thesis.pdf24-Mar-2019 08:43 1.5MPhD Thesis - L. Thomas van Binsbergen
[   ]mini-reuse.tar.gz22-Feb-2019 15:31 17KMini case study
[DIR]CBS2IML-refocussed/22-Feb-2019 15:41 - IML specifications of translated CBS funcons, refocussed
[DIR]CBS2IML/22-Feb-2019 15:40 - IML specifications of translated CBS funcons
[   ]iml-tools.tar.gz08-Sep-2018 13:02 65KIML interpreter and tools
[   ]gll.tar.gz08-Sep-2018 13:02 36KGLL parsing with flexible BNF combinators
[   ]CBS2IML-refocussed.iml22-Feb-2019 15:55 231KFull IML specification of translated CBS funcons in a single file, refocussed
[   ]CBS2IML.iml22-Feb-2019 15:55 222KFull IML specification of translated CBS funcons in a single file
[   ]funcons-lambda-cbv-mp.tar.gz08-Sep-2018 13:02 7.2KExecutable specification of a call-by value lambda-calculus with meta-programming (Van Binsbergen 2018)
[   ]CBS2IML-refocussed.zip22-Feb-2019 15:51 105KDownload the IML specifications of translated CBS funcons, refocussed
[   ]CBS2IML.zip22-Feb-2019 15:51 100KDownload the IML specifications of translated CBS funcons
[   ]CBS-beta-website.zip18-Sep-2018 17:21 874KDownload the CBS-beta website snapshot, containing CBS definitions of example languages and the core funcons. Browse it here: http://cbsbeta.ltvanbinsbergen.nl
[   ]supplementary.zip22-Feb-2019 15:50 2.8MDownload all supplementary material
[   ]caml-light-reuse.tar.gz22-Feb-2019 15:31 45KCaml Light case study
[   ]funcons-intgen.tar.gz08-Sep-2018 13:02 48KCBS to Haskell compiler, generating micro-intepreters from funcon definitions
[   ]funcons-values.tar.gz08-Sep-2018 13:02 72KA universe of types, values, and operations, corresponding to CBS built-ins
[TXT]ABSTRACT.txt12-Oct-2018 18:06 2.1KAbstract of the thesis

Apache Server at ltvanbinsbergen.nl Port 80