Frank Pfenning - PDFSEARCH.IO - Document Search Engine

Frank Pfenning
Results: 59

#	Item
1	Eliminating Array Bound Checking Through Dependent Types* Frank Pfenning Department of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2001-01-30 16:02:09
2	On the Undecidability of Partial Polymorphic Type Reconstruction Frank Pfenning January 1992 CMU-CS Add to Reading List Source URL: www.cs.cmu.edu - Date: 2001-01-02 17:31:21
3	Invited talk at TLDI’12 Towards Concurrent Type Theory Lu´ıs Caires Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu - Date: 2011-11-30 14:05:08
4	Lecture Notes on AVL Trees: Principles of Imperative Computation Frank Pfenning Lecture 18 March 22, 2011 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2011-03-29 22:48:16
5	Lecture Notes on Choice and Replication: Linear Logic Frank Pfenning Lecture 5 February 1, 2012 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2012-02-05 13:59:02
6	Lecture Notes on Proofs as Programs: Modal Logic Frank Pfenning Lecture 2 January 14, 2010 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2010-01-15 13:49:06
7	Lecture Notes on Sequent Calculus: Modal Logic Frank Pfenning Lecture 8 February 9, 2010 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2010-02-11 11:26:12
8	Lecture Notes on Harmony: Linear Logic Frank Pfenning Lecture 3 January 23, 2012 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2012-02-17 11:16:30
9	Lecture Notes on Judgments and Propositions: Modal Logic Frank Pfenning Lecture 1 January 12, 2010 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2010-01-12 10:01:42