Index of /thesis

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  - Supplementary material supporting my PhD thesis
[DIR]CBS2IML-refocussed/09-Sep-2018 11:48 - IML specifications of translated CBS funcons, refocussed
[DIR]CBS2IML/09-Sep-2018 11:46 - IML specifications of translated CBS funcons
[TXT]ABSTRACT.txt12-Oct-2018 18:06 2.1KAbstract of the thesis
[   ]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)
[   ]mini-reuse.tar.gz17-Sep-2018 22:28 17KMini case study
[   ]gll.tar.gz08-Sep-2018 13:02 36KGLL parsing with flexible BNF combinators
[   ]caml-light-reuse.tar.gz17-Sep-2018 22:28 44KCaml Light case study
[   ]funcons-intgen.tar.gz08-Sep-2018 13:02 48KCBS to Haskell compiler, generating micro-intepreters from funcon definitions
[   ]iml-tools.tar.gz08-Sep-2018 13:02 65KIML interpreter and tools
[   ]funcons-tools.tar.gz08-Sep-2018 13:02 72KThe Haskell Funcon Framework: tools for executing funcon terms based on modular micro-interpreters
[   ]funcons-values.tar.gz08-Sep-2018 13:02 72KA universe of types, values, and operations, corresponding to CBS built-ins
[   ]CBS2IML.zip08-Sep-2018 12:54 97KDownload the IML specifications of translated CBS funcons
[   ]CBS2IML-refocussed.zip08-Sep-2018 12:54 97KDownload the IML specifications of translated CBS funcons, refocussed
[   ]CBS2IML.iml08-Sep-2018 12:54 221KFull IML specification of translated CBS funcons in a single file
[   ]CBS2IML-refocussed.iml08-Sep-2018 12:54 230KFull IML specification of translated CBS funcons in a single file, refocussed
[   ]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
[   ]thesis.pdf19-Sep-2018 11:43 1.5MPhD Thesis - L. Thomas van Binsbergen
[   ]supplementary.zip19-Sep-2018 11:43 2.9MDownload all supplementary material

Apache Server at ltvanbinsbergen.nl Port 80