Searching for authors named "Robert Harper" – sorted by Relevance.
129 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
