Παρακολούθηση
Robert Harper
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα andrew.cmu.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The definition of standard ML: revised
R Milner
MIT press, 1997
48551997
Implementing mathematics
RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ...
Prentice-Hall, 1986
23381986
A framework for defining logics
R Harper, F Honsell, G Plotkin
Journal of the ACM (JACM) 40 (1), 143-184, 1993
20771993
Practical foundations for programming languages
R Harper
Cambridge University Press, 2016
5242016
TIL: A type-directed optimizing compiler for ML
D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee
ACM Sigplan Notices 31 (5), 181-192, 1996
4871996
Compiling polymorphism using intensional type analysis
R Harper, G Morrisett
Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995
4311995
A type-theoretic approach to higher-order modules with sharing
R Harper, M Lillibridge
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
4051994
Standard ml
R Harper, D MacQueen, R Milner
Department of Computer Science, University of Edinburgh, 1986
3441986
Commentary on standard ML
R Milner, M Tofte
MIT press, 1991
3291991
Typed closure conversion
Y Minamide, G Morrisett, R Harper
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on principles of …, 1996
2921996
A language-based approach to security
FB Schneider, G Morrisett, R Harper
Informatics: 10 Years Back, 10 Years Ahead, 86-101, 2001
2582001
Higher-order modules and the phase distinction
R Harper, JC Mitchell, E Moggi
Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989
2291989
Introduction to standard ml
R Harper, N Rothwell, K Mitchell
University of Edinburgh, Department of Computer Science, Laboratory for …, 1989
2021989
What is a recursive module?
K Crary, R Harper, S Puri
Proceedings of the ACM SIGPLAN 1999 conference on Programming language …, 1999
1901999
On the unusual effectiveness of logic in computer science
JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, V Vianu
Bulletin of Symbolic Logic 7 (2), 213-236, 2001
1832001
On the type structure of Standard ML
R Harper, JC Mitchell
Acm transactions on programming languages and systems (toplas) 15 (2), 211-252, 1993
1821993
Towards a mechanized metatheory of Standard ML
DK Lee, K Crary, R Harper
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007
1792007
Abstract models of memory management
G Morrisett, M Felleisen, R Harper
Proceedings of the seventh international conference on Functional …, 1995
1741995
The essence of ML
JC Mitchell, R Harper
Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988
1641988
Mechanizing metatheory in a logical framework
R Harper, DR Licata
Journal of functional programming 17 (4-5), 613-673, 2007
1562007
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20