Name: Robert Harper
Type: User
Company: Carnegie Mellon University
Bio: I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
Location: Pittsburgh PA
Blog: http://www.cs.cmu.edu/~rwh
Robert Harper's Projects
CM-Lex: A lexer generator for Standard ML and Haskell
A basic library of algorithms and data structures (a la NJlib)
CM-Yacc: A parser generator for Standard ML and Haskell
An experimental library for Cubical Agda
Elaborative semantics for Standard ML
15-819 (Homotopy Type Theory) Lecture Notes
papers of Per Martin LΓΆf
SML The Living Language
Definitions from PFPL
PL syntax macros.
Smackage Package Manager for Standard ML
The definition of Standard ML
The Definition of Standard ML (revised)
Standard ML compiler based on typed intermediate languages.