Jeff Polakow (coadvised by Frank Pfenning), August 2001
Carnegie Mellon University,
mutjida AT gmail DOT com
thesis: Ordered Linear Logic and Applications (CMU-CS-01-152)
Andrzej Filinski (coadvised by Bob Harper), May 1996
University of Aarhus,
andrzej AT diku DOT dk
thesis: Controlling Effects (CMU-CS-96-119)
Benjamin C. Pierce (coadvised by Bob Harper), December 1991
University of Pennsylvania,
bcpierce AT cis DOT upenn DOT edu
thesis: Programming with Intersection Types and Bounded Polymorphism
(CMU-CS-91-205)
Richard H. Connelly (advised by F. L. Morris after I left Syracuse),
August 1990
Providence College,
rconnell AT providence DOT edu
thesis: A Comparison of Semantic Domains for Interleaving (SU-CIS-90-24)
Badri R. Narayanan, December 1988
AT&T;,
badri AT att DOT com
thesis: A General Framework for Models of Type Polymorphism (CIS-89-1)
Frank J. Oles, August 1982
Frankjosepholes AT aol DOT com
thesis: A Category-Theoretic Approach to the Semantics of Programming
Languages
Nancy J. McCracken, June 1979
Syracuse University,
njm AT ecs DOT syr DOT edu
thesis: An Investigation of a Programming Language with a Polymorphic
Type Structure
Jerald S. Schwarz, December 1974
Wirecache,
jerry AT acm DOT org
thesis: Semantics of Partial Correctness Formalisms
Wilfred J. Hansen (advised by W. F. Miller; I supervised his thesis
research at Argonne National Laboratory), June 1971
Software Engineering Institute, Carnegie Mellon University,
wjh AT cs DOT cmu DOT edu
thesis: Creation of Hierarchic Text with a Computer Display (ANL-7818)