Searching for authors named "Robert Harper" – sorted by Relevance.
-
Programming in Standard ML (WORKING DRAFT OF MAY 17, 2005.)
- Programming in Standard ML (WORKING DRAFT OF MAY 17, 2005.) Robert Harper Carnegie Mellon
- Add To MetaCart
-
References Type Systems as a Foundation for Reliable Computing
- These lectures are based on the course Constructive Logic at Carnegie Mellon University. The course materials are available at the course web site:
- Add To MetaCart
-
Type Systems for Programming Languages
- Type Systems for Programming Languages 1 (DRAFT) Robert Harper School of Computer Science
- Add To MetaCart
-
Type Theory for Programming Languages
- Type Theory for Programming Languages 1 (DRAFT) Robert Harper School of Computer Science Carnegie
- Add To MetaCart
-
Types in Programming Language Design and Implementation
- Types in Programming Language Design and Implementation (Position Paper) Robert Harper April 17
- Add To MetaCart
-
Proof-Directed Debugging
- FUNCTIONAL PEARLS Proof-Directed Debugging Robert Harper Carnegie Mellon University Pittsburgh, PA 15213
- Cited by 16 (1 self) – Add To MetaCart
-
Programming languages: Theory and practice
- Programming Languages: Theory and Practice (WORKING DRAFT OF AUGUST 11, 2004) Robert Harper
- Cited by 15 (0 self) – Add To MetaCart
-
Programming in Standard ML
- in Standard ML [http://www.cs.cmu.edu/People/rwh/introsml/] Page 1 Programming in Standard ML Robert Harper
- Cited by 1 (0 self) – Add To MetaCart
-
Computer Science 15-312 -- Computational Effects
- Computer Science 15-312 Computational E#ects Robert Harper Spring, 2000 1 Introduction MinML is a
- Add To MetaCart
-
• Programming Languages • Distributed Systems • Software Verification • Machine Learning • Information Theory • Cryptography
- Science. Advised by Robert Harper. Courses include: • Type Systems • Computation and Deduction
- Add To MetaCart

