Вы здесь

Harper R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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
СТ What is a Recursive Module? 1999 Crary K., Harper R., Puri S. SIGPLAN Notices 20.08.1999
СТ ML and Beyond 1997 Harper R., Mitchell J. C. SIGPLAN Notices 15.04.1998
СТ 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
СТ 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
СТ 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
СТ 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
СТ A Framework for Defining Logics 1993 Harper R., Honsell F., Plotkin G. J. of the ACM 04.03.1993
П The Definition of Standart ML Version 3 1989 Harper R., Milner R., Tofte M. Univ.Edinburgh 05.06.1992
СТ Type checking with universes 1991 Harper R., Pollack R. Theoretical Computer Science 28.11.1991