Publications by Robert Harper

Conference

Typed closure conversion

1996 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 271-283
Minamide Y, Morrisett G, Harper R

Conference

Signatures for a network protocol stack: a systems application of standard ML

1994 • Proceedings of the ACM Conference on Lisp and Functional Programming • 7(3):55-64
Biagioni E, Harper R, Lee P, Milnes BG

Journal Article

Erratum

1993 • Journal of Functional Programming • 3(4):389-389
Jones N

Journal Article

Special Issue on ML

1993 • Journal of Functional Programming • 3(4):389-389
Appel AW, Harper R