University of Oregon

10th Annual Oregon Programming Languages Summer School — June 16-July 1, 2011

Types, Semantics and Verification


Amal Ahmed
Indiana University
Andrew Appel
Princeton University
Nick Benton
Microsoft Research
Robert Constable
Cornell University
Pierre-Louis Curien
ptr2 team, PPS, CNRS-Paris Diderot University-INRIA
Robert Harper
Carnegie Mellon University
John Harrison
Intel Corporation
Hugo Herbelin
pi.r2 team, PPS, CNRS-Paris Diderot University-INRIA
Paul-André Melliès
PPS, CNRS-Paris Diderot University
Greg Morrisett
Harvard University
Frank Pfenning
Carnegie Mellon University
Benjamin Pierce
University of Pennsylvania
Dana Scott
Carnegie Mellon University
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy