| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel R. Licata, Robert Harper |
Canonicity for 2-dimensional type theory.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Robert Harper |
2-Dimensional Directed Type Theory. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper |
Selective Memoization |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell |
Robin Milner 1934--2010: verification, languages, and concurrency. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Robert Harper |
A Monadic Formalization of ML5 |
LFMTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascale Proulx, Adeel Khamisa, Robert Harper |
Integrated visual analytics workflow with GeoTime and nSpace VAST 2010 mini challenge 1 award: Outstanding Analysis and Accuracy. |
IEEE VAST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kumar Avijit, Anupam Datta, Robert Harper |
Distributed programming with distributed authorization. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
phase distinction, proof-carrying authorization, distributed programming, logical frameworks, authorization logic |
| 1 | Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic |
An overview of the Oregon programming languages summer school. |
SIGPLAN Notices |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan |
An experimental analysis of self-adjusting computation. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper |
FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum. |
J. Funct. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Daniel R. Licata, Noam Zeilberger |
A Pronominal Approach to Binding and Computation. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel R. Licata, Robert Harper |
Positively dependent types. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
agda, dependent types, polarity |
| 1 | Daniel R. Licata, Robert Harper |
A universe of binding and computation. |
ICFP |
2009 |
DBLP DOI BibTeX RDF |
dependent types, variable binding |
| 1 | Daniel Spoonhower, Guy E. Blelloch, Phillip B. Gibbons, Robert Harper |
Beyond nested parallelism: tight bounds on work-stealing overheads for parallel futures. |
SPAA |
2009 |
DBLP DOI BibTeX RDF |
scheduling, work stealing, futures, performance bounds |
| 1 | Mark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges |
Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary report. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
programming languages, curriculum |
| 1 | Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand |
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper |
Position paper: practical foundations for lrogramming languages. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Eccles, Thomas Kapler, Robert Harper, William Wright |
Stories in GeoTime. |
Information Visualization |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons |
Space profiling for parallel functional programs. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kapler, Ryan Eccles, Robert Harper, William Wright |
Configurable Spaces: Temporal analysis in diagrammatic contexts. |
IEEE VAST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons |
Space profiling for parallel functional programs. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
cost semantics, scheduling, parallelism, profiling, standard ml |
| 1 | Daniel R. Licata, Noam Zeilberger, Robert Harper |
Focusing on Binding and Computation. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
computation, binding, logical frameworks, polarity, sequent calculus |
| 1 | John D. Ainsworth, Robert Harper |
The PsyGrid Experience: Using Web Services in the Study of Schizophrenia. |
IJHISI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Karl Crary, Robert Harper |
Syntactic Logical Relations for Polymorphic and Recursive Types. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascale Proulx, Lynn Chien, Robert Harper, David Schroh, Thomas Kapler, David Jonker, William Wright |
nSpace and GeoTime: A VAST 2006 Case Study. |
IEEE Computer Graphics and Applications |
2007 |
DBLP DOI BibTeX RDF |
geospatial information systems, visual analytics, temporal analysis, sense making, human information interaction |
| 1 | Robert Harper, Daniel R. Licata |
Mechanizing metatheory in a logical framework. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Eccles, Thomas Kapler, Robert Harper, William Wright |
Stories in GeoTime. |
IEEE VAST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel K. Lee, Karl Crary, Robert Harper |
Towards a mechanized metatheory of standard ML. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety |
| 1 | Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller |
Modular type classes. |
POPL |
2007 |
DBLP DOI BibTeX RDF |
type systems, type inference, modules, type classes |
| 1 | Tom Murphy VII, Karl Crary, Robert Harper |
Type-Safe Distributed Programming with ML5. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan |
A Library for Self-Adjusting Computation. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper |
Adaptive functional programming. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Incremental computation, dynamic algorithms, adaptive computation |
| 1 | Karl Crary, Robert Harper |
Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Karl Crary, Robert Harper |
Higher-order abstract syntax: setting the record straight. |
SIGACT News |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher A. Stone, Robert Harper |
Extensional equivalence and singleton types. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
equivalence algorithms, logical relations, Singleton types |
| 1 | Pascale Proulx, Sumeet Tandon, Adam Bodnar, David Schroh, Robert Harper, William Wright |
Avian Flu Case Study with nSpace and GeoTime. |
IEEE VAST |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John D. Ainsworth, Robert Harper, Ismael Juma, Iain E. Buchan |
PsyGrid: Applying e-Science to Epidemiology. |
CBMS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David Swasey, Tom Murphy VII, Karl Crary, Robert Harper |
A separate compilation extension to standard ML. |
ML |
2006 |
DBLP DOI BibTeX RDF |
types, standard ml, separate compilation, incremental compilation |
| 1 | Robert Harper, Frank Pfenning |
On equivalence and canonical forms in the LF type theory. |
ACM Trans. Comput. Log. |
2005 |
DBLP DOI BibTeX RDF |
type theory, Logical frameworks |
| 1 | Daniel Spoonhower, Guy E. Blelloch, Robert Harper |
Using page residency to balance tradeoffs in tracing garbage collection. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
object pinning, predicted residency, fragmentation, compaction |
| 1 | Robert Harper |
Mechanizing the meta-theory of programming languages. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Chlipala, Leaf Petersen, Robert Harper |
Strict bidirectional type checking. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
strict logic, type inference, type theory |
| 1 | Tom Murphy VII, Karl Crary, Robert Harper |
Distributed Control Flow with Classical Modal Logic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Olivier Danvy, Robert Harper |
Editorial. |
Higher-Order and Symbolic Computation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorge L. Vittes, Shan Leung Maverick Woo |
Dynamizing static algorithms, with applications to dynamic trees and history independence. |
SODA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper |
Self-Adjusting Computation. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper |
Self-Adjusting Computation. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning |
A Symmetric Modal Lambda Calculus for Distributed Computing. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning |
Automated techniques for provably safe mobile code. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yitzhak Mandelbaum, David Walker, Robert Harper |
An effective theory of type refinements. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper |
Automatic Generation of Staged Geometric Predicates. |
Higher-Order and Symbolic Computation |
2003 |
DBLP DOI BibTeX RDF |
robust predicates, floating-point filters, exact arithmetic, computational geometry, program transformation |
| 1 | Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning |
A type theory for memory allocation and data layout. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
ordered logic, memory management, type theory, data representation |
| 1 | Derek Dreyer, Karl Crary, Robert Harper |
A type system for higher-order modules. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors |
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper |
Selective memoization. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
performance, selective, memoization, programmer controlled |
| 1 | Yitzhak Mandelbaum, David Walker, Robert Harper |
An effective theory of type refinements. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
effectful computation, type refinement, linear logic, type theory, local reasoning |
| 1 | Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng |
Typed compilation of recursive datatypes. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
typed compilation, standard ML, recursive types, coercions |
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper |
Adaptive functional programming. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning |
Trustless Grid Computing in ConCert. |
GRID |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu |
On the unusual effectiveness of logic in computer science. |
Bulletin of Symbolic Logic |
2001 |
DBLP BibTeX RDF |
|
| 1 | Robert Harper, Frank Pfenning |
On Equivalence and Canonical Forms in the LF Type Theory |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Edoardo Biagioni, Robert Harper, Peter Lee |
A Network Protocol Stack in Standard ML. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, Gary L. Miller, Noel Walkington |
Persistent triangulations Journal of Functional Programming. |
J. Funct. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred B. Schneider, J. Gregory Morrisett, Robert Harper |
A Language-Based Approach to Security. |
Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongwei Xi, Robert Harper |
A Dependently Typed Assembly Language. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper |
Automatic Generation of Staged Geometric Predicates. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper (eds.) |
Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers |
TIC |
2001 |
DBLP BibTeX RDF |
|
| 1 | Christopher A. Stone, Robert Harper |
Deciding Type Equivalence with Singleton Kinds. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Benjamin C. Pierce |
Advanced module systems: a guide for the perplexed (abstract of invited talk). |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Christopher A. Stone |
A type-theoretic interpretation of standard ML. |
Proof, Language, and Interaction |
2000 |
DBLP BibTeX RDF |
|
| 1 | Robert Harper, John C. Mitchell |
Parametricity and Variants of Girard's J Operator. |
Inf. Process. Lett. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Robert Harper |
Relational Interpretations of Recursive Types in an Operational Setting. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper |
Proof-Directed Debugging. |
J. Funct. Program. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Karl Crary, Robert Harper, Sidd Puri |
What is a Recursive Module? |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Frank Pfenning |
A Module System for a Programming Language Based on the LF Logical Framework. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Perry Cheng, Robert Harper, Peter Lee |
Generational Stack Collection and Profile-Driven Pretenuring. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Bernard, Robert Harper, Peter Lee |
How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL Compiler. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, John C. Mitchell |
ML and Beyond. |
SIGPLAN Notices |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Gregory Morrisett, Robert Harper |
Typed Closure Conversion for Recursively-Defined Functions. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Robert Harper |
Relational Interpretations of Recursive Types in an operational Setting (Summary). |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper |
A Note on ``A Simplified Account of Polymorphic References''. |
Inf. Process. Lett. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Peter Lee |
Research in Programming Languages for Composability, Safety, and Performance. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, John C. Mitchell |
ML and Beyond. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Mark Lillibridge |
Operational Interpretations of an Extension of Fomega with Control Operators. |
J. Funct. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
TIL: a type-directed, optimizing compiler for ML (with retrospective) |
Best of PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee |
TIL: A Type-Directed Optimizing Compiler for ML. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper |
Typed Closure Conversion. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Richard L. Wexelblat (eds.) |
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, Pennsylvania, May 24-26, 1996. |
ICFP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Robert Harper, J. Gregory Morrisett |
Compiling Polymorphism Using Intensional Type Analysis. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
ML |
| 1 | J. Gregory Morrisett, Matthias Felleisen, Robert Harper |
Abstract Models of Memory Management. |
FPCA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Robert Harper |
A Simplified Account of Polymorphic References. |
Inf. Process. Lett. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Donald Sannella, Andrzej Tarlecki |
Structured Theory Presentations and Logic Representations. |
Ann. Pure Appl. Logic |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Mark Lillibridge |
A Type-Theoretic Approach to Higher-Order Modules with Sharing. |
POPL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes |
Signatures for a Network Protocol Stack: A Systems Application of Standard ML. |
LISP and Functional Programming |
1994 |
DBLP DOI BibTeX RDF |
TCP/IP, Standard ML |
| 1 | Robert Harper, John C. Mitchell |
On the Type Structure of Standard ML. |
ACM Trans. Program. Lang. Syst. |
1993 |
DBLP DOI BibTeX RDF |
ML |
| 1 | Robert Harper, Furio Honsell, Gordon D. Plotkin |
A Framework for Defining Logics. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
proof checking, interactive theorem proving, typed lambda calculus, formal systems |
| 1 | Robert Harper, Mark Lillibridge |
Polymorphic Type Assignment and CPS Conversion. |
Lisp and Symbolic Computation |
1993 |
DBLP BibTeX RDF |
|
| 1 | Robert Harper, Bruce F. Duba, David B. MacQueen |
Typing First-Class Continuations in ML. |
J. Funct. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Mark Lillibridge |
Explicit Polymorphism and CPS Conversion. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper |
Constructing Type Systems over an Operational Semantics. |
J. Symb. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Harper, Robert Pollack |
Type Checking with Universes. |
Theor. Comput. Sci. |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")