RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
Carnegie Mellon UniversityPittsburgh PA
Pinned Repositories
cmlex
CM-Lex: A lexer generator for Standard ML and Haskell
cmlib
A basic library of algorithms and data structures (a la NJlib)
cmyacc
CM-Yacc: A parser generator for Standard ML and Haskell
elaborative-semantics
Elaborative semantics for Standard ML
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
nsml
SML The Living Language
pfpl-defns
Definitions from PFPL
pl-syntax
PL syntax macros.
TILT-Compiler
Standard ML compiler based on typed intermediate languages.
abbot
Generation of abstract binding trees
RobertHarper's Repositories
RobertHarper/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
RobertHarper/TILT-Compiler
Standard ML compiler based on typed intermediate languages.
RobertHarper/pl-syntax
PL syntax macros.
RobertHarper/nsml
SML The Living Language
RobertHarper/pfpl-defns
Definitions from PFPL
RobertHarper/cmlex
CM-Lex: A lexer generator for Standard ML and Haskell
RobertHarper/cmlib
A basic library of algorithms and data structures (a la NJlib)
RobertHarper/cmyacc
CM-Yacc: A parser generator for Standard ML and Haskell
RobertHarper/elaborative-semantics
Elaborative semantics for Standard ML
RobertHarper/martin-lof
papers of Per Martin Löf
RobertHarper/sml97
The Definition of Standard ML (revised)
RobertHarper/cubical
An experimental library for Cubical Agda
RobertHarper/smackage
Smackage Package Manager for Standard ML
RobertHarper/sml90
The definition of Standard ML