Robert Harper

http://www.cs.cmu.edu/~rwh [email protected]

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

Results 3 repositories owned by


                                            Robert Harper

hott-notes

44

Stars

2

Forks

Watchers

15-819 (Homotopy Type Theory) Lecture Notes

RobertHarper

TILT-Compiler

45

Stars

3

Forks

Watchers

Standard ML compiler based on typed intermediate languages.

RobertHarper

pl-syntax

17

Stars

1

Forks

Watchers

PL syntax macros.

RobertHarper