This text is provided as is with no guarantees of any kind. Permission is hereby granted to reproduce facsimiles of this text in any form for distribution provided an e-mail note is sent to the editor at email@example.com describing the manner and intended purpose of distribution. Permission is also granted to modify the content of this text in any… (More)
i To the wonderful women in my life, Carole, Ghia and Yasma Nai. ii ACKNOWLEDGMENTS I would like to thank the many people who have been instrumental in the completion of my thesis. First are my parents, Georges and Najat, who made my Wisconsin experience possible, from providing me with a cultural environment and fostering the desire of learning in me since… (More)
Programming Languages: Theory and design of languages: data and control abstraction mechanisms, type inference, integrated programming environments.