Index of /thesis

	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	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-refocussed/	22-Feb-2019 15:41	-	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
	CBS2IML/	22-Feb-2019 15:40	-	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