The design of functional programs : a calculational approach

R.R. Hoogerwoord

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

808 Downloads (Pure)

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	Mathematics and Computer Science
Supervisors/Advisors	Rem, Martin, Promotor Kruseman Aretz, Frans, Promotor
Award date	19 Dec 1989
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
DOIs	https://doi.org/10.6100/IR321975
Publication status	Published - 1989

Access to Document

@phdthesis{6b60e9b976af46d5afe8e77a6157ecee,

title = "The design of functional programs : a calculational approach",

author = "R.R. Hoogerwoord",

year = "1989",

doi = "10.6100/IR321975",

language = "English",

publisher = "Technische Universiteit Eindhoven",

type = "Phd Thesis 1 (Research TU/e / Graduation TU/e)",

school = "Mathematics and Computer Science",

}