Back to Results
First PageMeta Content
Computing / Dependent type / Lambda calculus / Type system / Logical framework / Logic programming / Lambda cube / Algorithm / Polymorphism / Type theory / Software engineering / Programming language theory


DISSERTATION APPROVAL The abstract and dissertation of Richard Nathan Mishra-Linger for the Doctor of Philosophy in Computer Science were presented on November 7, 2008, and accepted by the dissertation committee and the
Add to Reading List

Document Date: 2011-11-29 12:27:13

Open Document

File Size: 1,29 MB

Share Result on Facebook

City

Edinburgh / /

Company

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 / /

Technology

functional programming / 3.3 An Algorithm / /

SocialTag