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	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