|
СТ |
Type checking with universes |
1991 |
Harper R., Pollack R. |
|
|
|
Theoretical Computer Science |
28.11.1991 |
|
П |
The Definition of Standart ML Version 3 |
1989 |
Harper R., Milner R., Tofte M. |
|
|
Univ.Edinburgh |
|
05.06.1992 |
|
СТ |
A Framework for Defining Logics |
1993 |
Harper R., Honsell F., Plotkin G. |
|
|
|
J. of the ACM |
04.03.1993 |
|
СТ |
Signatures for a Network Protocol Stack: A Systems Application of Standard ML |
1994 |
Biagioni E., Harper R., Lee P., Milnes B. G. |
|
|
|
LISP Pointers |
13.01.1995 |
|
СТ |
TIL: A Type Directed Optimizing Compiler for ML |
1996 |
Tarditi D., Morrisett G., Cheng P., Stone C., Harper R., Lee P. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
|
СТ |
TIL: A Type-Directed Optimizing Compiler for ML |
1996 |
Tarditi D., Morrisett G., Cheng P., Stone C., Harper R., Lee P. |
|
|
|
Proc. of the ACM SIGPLAN 96 Conf. on Programming Language Design and Implementation (PLDI) |
22.08.1997 |
|
СТ |
A Type-Theoretic Approach to Higher-Order Modules with Sharing |
1994 |
Harper R., Lillibridge M. |
|
|
|
Proc. of the POPL 94: 21st ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages |
29.08.1997 |
|
СТ |
ML and Beyond |
1997 |
Harper R., Mitchell J. C. |
|
|
|
SIGPLAN Notices |
15.04.1998 |
|
СТ |
What is a Recursive Module? |
1999 |
Crary K., Harper R., Puri S. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
|
СТ |
Deciding Type Equivalence in a Language with Singleton Kinds |
2000 |
Stone C. A., Harper R. |
|
|
|
Papers Presented at the 27th ACM SIGPLAN-SIGACT Symp. on Pinciples of Programming Languages |
05.06.2000 |
|
СТ |
Distributed Control Flow with Classical Modal Logic |
2005 |
Murphy T., Crary K., Harper R. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.10.2005 |
