Luke Chih-Hao Ong

Dissertation: The Lazy Lambda Calculus: An Investigation into the Foundations of Functional Programming

Mathematics Subject Classification: 68—Computer science

Advisors 2

Name	Institution	Year	Students
William Blum	University of Oxford	2008	0
Christopher Broadbent	University of Oxford	2011	0
Corina Cirstea	Not recorded	—	2
Conrad Cotton-Barratt	University of Oxford	2016	0
Jolie G. de Miranda	University of Oxford	2006	0
Emanuele D'Osualdo	Not recorded	—	0
William Greenland	University of Oxford	2005	0
Matthew Hague	University of Oxford	2009	0
David Hopkins	University of Oxford	2012	0
Dominic Hughes	University of Oxford	2000	0
Andrew D. Ker	University of Oxford	2001	0
Jonathan Kochems	Not recorded	—	0
Thong-Wei Koh	University of Oxford	1998	0
Lihao Liang	Not recorded	—	0
Sula Ma	University of Oxford	2001	0
Andrzej S. Murawski	University of Oxford	2001	1
Robin Neatherway	University of Oxford	2014	0
Corin S. Pitcher	University of Oxford	2001	0
Steven Ramsay	University of Oxford	2014	0
Sam Sanjabi	University of Oxford	2009	0
Marcelo Sousa	Not recorded	—	0
Charles Alexander Stewart	Not recorded	—	0
Michael Vanden Boom	University of Oxford	2012	0
Yong Xie	University of Oxford	2010	0
Chang Yan	University of Oxford	2014	0

Genealogy