Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Ozan Hafizogullari
9 results
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 18, 2000
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 11, 2000
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 04, 2000
Continuation of talk on Polymorphic References
by Ozan Hafizogullari
September 24, 1999
Dependence Analysis Through Type Inference
| cite »
by Ozan Hafizogullari, Christoph Kreitz
1999
Automatic Debugging Through Type Inference, Continued
by Ozan Hafizogullari
November 03, 1998
Automatic Debugging Through Type Inference
by Ozan Hafizogullari
October 06, 1998
Dead Code Elimination
by Ozan Hafizogullari, Christoph Kreitz
January 27, 1998
ML-like Type Reconstruction for Nuprl
by Ozan Hafizogullari
November 26, 1996