Robert Harper - PDFSEARCH.IO - Document Search Engine

Robert Harper
Results: 56

#	Item
1	VPMIA OctChesterfield County Attendees: Robert Adkins, Bill Aldridge, Ron Bladen, Bane Compton, Bill Dupler, Richard Grace, Joe Gregory, Skip Harper, Charles Hudson, Wayne Kushner, J. Lee Lipscomb, Dennis Martin Add to Reading List Source URL: vpmia.org Language: English - Date: 2018-06-20 19:45:01
2	Two Kinds of Foundations Robert Harper Computer Science Department Carnegie Mellon University LFCS 30th Anniversary Celebration Add to Reading List Source URL: events.inf.ed.ac.uk Language: English
3	VPMIA OctChesterfield County Attendees: Robert Adkins, Bill Aldridge, Ron Bladen, Bane Compton, Bill Dupler, Richard Grace, Joe Gregory, Skip Harper, Charles Hudson, Wayne Kushner, J. Lee Lipscomb, Dennis Martin Add to Reading List Source URL: www.vpmia.org Language: English - Date: 2018-06-20 19:45:01
4	On the Unusual Effectiveness of Logic in Computer Science Joseph Y. Halpern Robert Harper Neil Immerman Add to Reading List Source URL: www.cs.upc.edu - Date: 2008-10-15 05:37:21
5	Computational Higher-Dimensional Type Theory Carlo Angiuli Robert Harper Todd Wilson Add to Reading List Source URL: www.cs.cmu.edu - Date: 2016-12-19 12:07:36
6	J. Symbolic Computation, 71-84 Constructing Type Systems over an Operational Semantics ROBERT HARPER Add to Reading List Source URL: www.cs.uoregon.edu - Date: 2010-06-25 18:00:46
7	Computational Higher Type Theory Robert Harper Computer Science Department Carnegie Mellon University HoTT Workshop 2016 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2016-07-27 12:02:54
8	The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science Add to Reading List Source URL: sml-family.org - Date: 2016-04-04 09:33:37
9	DEFINING A LANGUAGE Robert Harper Friday, April 27, 12 ACKNOWLEDGEMENTS Add to Reading List Source URL: events.inf.ed.ac.uk - Date: 2012-10-10 03:52:01
10	Commentary on Practical Foundations for Programming Languages (Second Edition) Robert Harper Carnegie Mellon University August 19, 2016 Add to Reading List Source URL: www.cs.cmu.edu - Date: 2016-08-22 11:32:05

UPDATE