Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Harper, Robert"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Beyond nested parallelism: Tight bounds on work-stealing overheads for parallel futures
Daniel Spoonhower
,
Guy E. Blelloch
,
Phillip B. Gibbons
,
Robert Harper
Proceedings of the 21st Annual Symposium on Parallelism in Algorithms and Architectures, SPAA'2009 (Calgary, Alberta, Canada, August 11-13, 2009)
, 2009, pp. 91-100
Self-adjusting computation
Robert Harper
Lecture Notes in Computer Science
3142
, 2004, pp. 1-2
Automated techniques for provably safe mobile code
Christopher Colby
,
Karl Crary
,
Robert Harper
,
Peter Lee
,
Frank Pfenning
Theoretical Computer Science
290
(2), 2003, pp. 1175-1199
Relational interpretations of recursive types in an operational setting
Lars Birkedal
,
Robert Harper
Information and Computation
155
(1-2), 1999, pp. 3-63
Parametricity and variants of Girard's
J
operator
Robert Harper
,
John C. Mitchell
Information Processing Letters
70
(1), 1999, pp. 1-5
A note on "A simplified account of polymorphic references"
Robert Harper
Information Processing Letters
57
(1), 1996, pp. 15-16
A simplified account of polymorphic references
Robert Harper
Information Processing Letters
51
, 1994, pp. 201-206
Constructing type systems over an operational semantics
Robert Harper
Journal Symbolic Computation
14
(1), 1992, pp. 71-84
Type checking with universes
Robert Harper
,
Robert Pollack
Theoretical Computer Science
89
, 1991, pp. 107-136