The semantic analysis of advanced programming languages THE SEMANTIC ANALYSIS OF ADVANCED PROGRAMMING LANGUAGES

Harley Eades, Harley Eades, Cesare Tinelli, Stephanie Weirich, Gregory Landini, Kasturi Varadarajan
2014 unpublished
To my lovely wife, Jenny Eades. ii Program testing can be used to show the presence of bugs, but never to show their absence!-Dijkstra (1970) iii ACKNOWLEDGEMENTS The first person I would like to acknowledge is my advisor Aaron Stump. He is one of the kindest and most intelligent people I have had the pleasure to work with, and without his guidance I would have never made it this far. I can only hope to acquire the insight and creativity you have when working on a research problem. Furthermore,
more » ... I would like to thank him for introducing me to my research area in type theory and the foundations of functional programming languages. Secondly, I would like to thank my wife, Jenny Eades, whose hard work literally made it possible for there to be food on our table and a roof over our heads. She is a remarkable person who I cherish; without her I would be lost.
fatcat:mszkfweminggdagazody6huqeq