Irrelevance / Polymorphism / Implicit Pure Type Systems / Erasure Pure Type Systems / Pure Type Systems / /
Facility
COMPUTER SCIENCE Portland State University / /
Organization
Portland State University / West Valley Community Church / office of Graduate Studies DOCTORAL PROGRAM APPROVAL / /
Person
James Hook Mark Jones Andrew / John Launchbury / Amber Telfer / RICHARD NATHAN / Sava Krsti / Tom Harke / Timothy Sheard / Tim Sheard / Andrew Black Sava Krsti / Dan Brown / Richard Nathan Mishra-Linger / Jesus Christ / Wu-Chi Feng / Mark Jones / Pa / Iavor Diatchki / Lyle Kopnicky / Taniya / /
Position
Chair / advisor / Representative / Director Computer Science Ph.D. Program ABSTRACT An abstract / Emir / /