This is your work, valued

Pittsburgh PA

Robert Harper

Expert
@RobertHarper

I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

www.cs.cmu.edu/~rwh

hott-notes. 15-819 (Homotopy Type Theory) Lecture Notes

58

TILT-Compiler. Standard ML compiler based on typed intermediate languages.

51

pl-syntax. PL syntax macros.

21

nsml. SML The Living Language

11

pfpl-defns. Definitions from PFPL

7

cmyacc. CM-Yacc: A parser generator for Standard ML and Haskell

1

slf. Semantic LF

1

cmlib. A basic library of algorithms and data structures (a la NJlib)

1

elaborative-semantics. Elaborative semantics for Standard ML

1

cmlex. CM-Lex: A lexer generator for Standard ML and Haskell

1

sml97. The Definition of Standard ML (revised)

1