University of Oregon

Oregon Programming Languages Summer School — July 16-28, 2012

Logic, Languages, Compilation, and Verification

Robert Harper
Carnegie Mellon University
Frank Pfenning
Carnegie Mellon University
Benjamin Pierce
University of Pennsylvania
Robert Constable
Cornell University
Steve Awodey
Carnegie Mellon University
Amal Ahmed
Northeastern University
Pierre-Louis Curien
CNRS - Paris 7 University - INRIA
Andrew Myers
Cornell University
Xavier Leroy
INRIA
John Hughes
Chalmers University and Quviq
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy