Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Ozan Hafizogullari

9 results


Seminar 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

Seminar 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

Seminar 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

Seminar Continuation of talk on Polymorphic References
by Ozan Hafizogullari
September 24, 1999

Publication Dependence Analysis Through Type Inference | cite »
by Ozan Hafizogullari, Christoph Kreitz
1999

Seminar Automatic Debugging Through Type Inference, Continued
by Ozan Hafizogullari
November 03, 1998

Seminar Automatic Debugging Through Type Inference
by Ozan Hafizogullari
October 06, 1998

Seminar Dead Code Elimination
by Ozan Hafizogullari, Christoph Kreitz
January 27, 1998

Seminar ML-like Type Reconstruction for Nuprl
by Ozan Hafizogullari
November 26, 1996