Robert Harper

	2012
111		Daniel R. Licata, Robert Harper: Canonicity for 2-dimensional type theory. POPL 2012: 337-348
	2011
110		Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell: Robin Milner 1934--2010: verification, languages, and concurrency. POPL 2011: 473-474
109		Umut A. Acar, Guy E. Blelloch, Robert Harper: Selective Memoization CoRR abs/1106.0447: (2011)
108		Daniel R. Licata, Robert Harper: 2-Dimensional Directed Type Theory. Electr. Notes Theor. Comput. Sci. 276: 263-289 (2011)
	2010
107		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: 273-274
106		Daniel R. Licata, Robert Harper: A Monadic Formalization of ML5 LFMTP 2010: 69-83
105		Kumar Avijit, Anupam Datta, Robert Harper: Distributed programming with distributed authorization. TLDI 2010: 27-38
	2009
104		Daniel R. Licata, Robert Harper: A universe of binding and computation. ICFP 2009: 123-134
103		Daniel R. Licata, Robert Harper: Positively dependent types. PLPV 2009: 3-14
102		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: 132-133
101		Daniel Spoonhower, Guy E. Blelloch, Phillip B. Gibbons, Robert Harper: Beyond nested parallelism: tight bounds on work-stealing overheads for parallel futures. SPAA 2009: 91-100
100		Robert Harper, Daniel R. Licata, Noam Zeilberger: A Pronominal Approach to Binding and Computation. TLCA 2009: 3-4
99		Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan: An experimental analysis of self-adjusting computation. ACM Trans. Program. Lang. Syst. 32(1): (2009)
98		Robert Harper: FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum. J. Funct. Program. 19(2): 262 (2009)
97		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 44(11): 1-3 (2009)
	2008
96		Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons: Space profiling for parallel functional programs. ICFP 2008: 253-264
95		Thomas Kapler, Ryan Eccles, Robert Harper, William Wright: Configurable Spaces: Temporal analysis in diagrammatic contexts. IEEE VAST 2008: 43-50
94		Daniel R. Licata, Noam Zeilberger, Robert Harper: Focusing on Binding and Computation. LICS 2008: 241-252
93		Ryan Eccles, Thomas Kapler, Robert Harper, William Wright: Stories in GeoTime. Information Visualization 7(1): 3-17 (2008)
92		Daniel Spoonhower, Guy E. Blelloch, Robert Harper, Phillip B. Gibbons: Space profiling for parallel functional programs. J. Funct. Program. 20(5-6): 417-461 (2008)
91		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 43(11): 6-29 (2008)
90		Robert Harper: Position paper: practical foundations for lrogramming languages. SIGPLAN Notices 43(11): 71-73 (2008)
	2007
89		Ryan Eccles, Thomas Kapler, Robert Harper, William Wright: Stories in GeoTime. IEEE VAST 2007: 19-26
88		Daniel K. Lee, Karl Crary, Robert Harper: Towards a mechanized metatheory of standard ML. POPL 2007: 173-184
87		Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, Gabriele Keller: Modular type classes. POPL 2007: 63-70
86		Tom Murphy VII, Karl Crary, Robert Harper: Type-Safe Distributed Programming with ML5. TGC 2007: 108-123
85		Karl Crary, Robert Harper: Syntactic Logical Relations for Polymorphic and Recursive Types. Electr. Notes Theor. Comput. Sci. 172: 259-299 (2007)
84		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 27(5): 46-56 (2007)
83		John D. Ainsworth, Robert Harper: The PsyGrid Experience: Using Web Services in the Study of Schizophrenia. IJHISI 2(2): 1-20 (2007)
82		Robert Harper, Daniel R. Licata: Mechanizing metatheory in a logical framework. J. Funct. Program. 17(4-5): 613-673 (2007)
	2006
81		John D. Ainsworth, Robert Harper, Ismael Juma, Iain E. Buchan: PsyGrid: Applying e-Science to Epidemiology. CBMS 2006: 727-732
80		Pascale Proulx, Sumeet Tandon, Adam Bodnar, David Schroh, Robert Harper, William Wright: Avian Flu Case Study with nSpace and GeoTime. IEEE VAST 2006: 27-34
79		David Swasey, Tom Murphy VII, Karl Crary, Robert Harper: A separate compilation extension to standard ML. ML 2006: 32-42
78		Christopher A. Stone, Robert Harper: Extensional equivalence and singleton types. ACM Trans. Comput. Log. 7(4): 676-722 (2006)
77		Umut A. Acar, Guy E. Blelloch, Robert Harper: Adaptive functional programming. ACM Trans. Program. Lang. Syst. 28(6): 990-1034 (2006)
76		Karl Crary, Robert Harper: Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight CoRR abs/cs/0607141: (2006)
75		Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan: A Library for Self-Adjusting Computation. Electr. Notes Theor. Comput. Sci. 148(2): 127-154 (2006)
74		Karl Crary, Robert Harper: Higher-order abstract syntax: setting the record straight. SIGACT News 37(3): 93-96 (2006)
	2005
73		Tom Murphy VII, Karl Crary, Robert Harper: Distributed Control Flow with Classical Modal Logic. CSL 2005: 51-69
72		Robert Harper: Mechanizing the meta-theory of programming languages. ICFP 2005: 240
71		Adam Chlipala, Leaf Petersen, Robert Harper: Strict bidirectional type checking. TLDI 2005: 71-78
70		Daniel Spoonhower, Guy E. Blelloch, Robert Harper: Using page residency to balance tradeoffs in tracing garbage collection. VEE 2005: 57-67
69		Robert Harper, Frank Pfenning: On equivalence and canonical forms in the LF type theory. ACM Trans. Comput. Log. 6(1): 61-101 (2005)
	2004
68		Robert Harper: Self-Adjusting Computation. ICALP 2004: 1-2
67		Robert Harper: Self-Adjusting Computation. LICS 2004: 254-255
66		Tom Murphy VII, Karl Crary, Robert Harper, Frank Pfenning: A Symmetric Modal Lambda Calculus for Distributed Computing. LICS 2004: 286-295
65		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: 531-540
64		David A. Basin, Olivier Danvy, Robert Harper: Editorial. Higher-Order and Symbolic Computation 17(3): 171 (2004)
	2003
63		Yitzhak Mandelbaum, David Walker, Robert Harper: An effective theory of type refinements. ICFP 2003: 213-225
62		Umut A. Acar, Guy E. Blelloch, Robert Harper: Selective memoization. POPL 2003: 14-25
61		Leaf Petersen, Robert Harper, Karl Crary, Frank Pfenning: A type theory for memory allocation and data layout. POPL 2003: 172-184
60		Derek Dreyer, Karl Crary, Robert Harper: A type system for higher-order modules. POPL 2003: 236-249
59		Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng: Typed compilation of recursive datatypes. TLDI 2003: 98-108
58		Aleksandar Nanevski, Guy E. Blelloch, Robert Harper: Automatic Generation of Staged Geometric Predicates. Higher-Order and Symbolic Computation 16(4): 379-400 (2003)
57		Yitzhak Mandelbaum, David Walker, Robert Harper: An effective theory of type refinements. SIGPLAN Notices 38(9): 213-225 (2003)
56		Christopher Colby, Karl Crary, Robert Harper, Peter Lee, Frank Pfenning: Automated techniques for provably safe mobile code. Theor. Comput. Sci. 290(2): 1175-1199 (2003)
	2002
55		Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning: Trustless Grid Computing in ConCert. GRID 2002: 112-125
54		Umut A. Acar, Guy E. Blelloch, Robert Harper: Adaptive functional programming. POPL 2002: 247-259
	2001
53		Robert Harper: Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers Springer 2001
52		Hongwei Xi, Robert Harper: A Dependently Typed Assembly Language. ICFP 2001: 169-180
51		Aleksandar Nanevski, Guy E. Blelloch, Robert Harper: Automatic Generation of Staged Geometric Predicates. ICFP 2001: 217-228
50		Fred B. Schneider, J. Gregory Morrisett, Robert Harper: A Language-Based Approach to Security. Informatics 2001: 86-101
49		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 7(2): 213-236 (2001)
48		Robert Harper, Frank Pfenning: On Equivalence and Canonical Forms in the LF Type Theory CoRR cs.LO/0110028: (2001)
47		Edoardo Biagioni, Robert Harper, Peter Lee: A Network Protocol Stack in Standard ML. Higher-Order and Symbolic Computation 14(4): 309-356 (2001)
46		Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, Gary L. Miller, Noel Walkington: Persistent triangulations Journal of Functional Programming. J. Funct. Program. 11(5): 441-466 (2001)
	2000
45		Robert Harper, Benjamin C. Pierce: Advanced module systems: a guide for the perplexed (abstract of invited talk). ICFP 2000: 130
44		Christopher A. Stone, Robert Harper: Deciding Type Equivalence with Singleton Kinds. POPL 2000: 214-227
43		Robert Harper, Christopher A. Stone: A type-theoretic interpretation of standard ML. Proof, Language, and Interaction 2000: 341-388
	1999
42		Karl Crary, Robert Harper, Sidd Puri: What is a Recursive Module? PLDI 1999: 50-63
41		Lars Birkedal, Robert Harper: Relational Interpretations of Recursive Types in an Operational Setting. Inf. Comput. 155(1-2): 3-63 (1999)
40		Robert Harper, John C. Mitchell: Parametricity and Variants of Girard's J Operator. Inf. Process. Lett. 70(1): 1-5 (1999)
39		Robert Harper: Proof-Directed Debugging. J. Funct. Program. 9(4): 463-469 (1999)
	1998
38		Perry Cheng, Robert Harper, Peter Lee: Generational Stack Collection and Profile-Driven Pretenuring. PLDI 1998: 162-173
37		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: 53-77
36		Robert Harper, Frank Pfenning: A Module System for a Programming Language Based on the LF Logical Framework. J. Log. Comput. 8(1): 5-31 (1998)
	1997
35		Lars Birkedal, Robert Harper: Relational Interpretations of Recursive Types in an operational Setting (Summary). TACS 1997: 458-490
34		J. Gregory Morrisett, Robert Harper: Typed Closure Conversion for Recursively-Defined Functions. Electr. Notes Theor. Comput. Sci. 10: 230-241 (1997)
33		Robert Harper, John C. Mitchell: ML and Beyond. SIGPLAN Notices 32(1): 80-85 (1997)
	1996
32		Robert Harper, Richard L. Wexelblat: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, Pennsylvania, May 24-26, 1996. ACM 1996
31		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: 554-567
30		David Tarditi, J. Gregory Morrisett, Perry Cheng, Christopher A. Stone, Robert Harper, Peter Lee: TIL: A Type-Directed Optimizing Compiler for ML. PLDI 1996: 181-192
29		Yasuhiko Minamide, J. Gregory Morrisett, Robert Harper: Typed Closure Conversion. POPL 1996: 271-283
28		Robert Harper, Peter Lee: Research in Programming Languages for Composability, Safety, and Performance. ACM Comput. Surv. 28(4es): 195 (1996)
27		Robert Harper, John C. Mitchell: ML and Beyond. ACM Comput. Surv. 28(4es): 219 (1996)
26		Robert Harper: A Note on ``A Simplified Account of Polymorphic References''. Inf. Process. Lett. 57(1): 15-16 (1996)
25		Robert Harper, Mark Lillibridge: Operational Interpretations of an Extension of Fomega with Control Operators. J. Funct. Program. 6(3): 393-417 (1996)
	1995
24		J. Gregory Morrisett, Matthias Felleisen, Robert Harper: Abstract Models of Memory Management. FPCA 1995: 66-77
23		Robert Harper, J. Gregory Morrisett: Compiling Polymorphism Using Intensional Type Analysis. POPL 1995: 130-141
	1994
22		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: 55-64
21		Robert Harper, Mark Lillibridge: A Type-Theoretic Approach to Higher-Order Modules with Sharing. POPL 1994: 123-137
20		Robert Harper, Donald Sannella, Andrzej Tarlecki: Structured Theory Presentations and Logic Representations. Ann. Pure Appl. Logic 67(1-3): 113-160 (1994)
19		Robert Harper: A Simplified Account of Polymorphic References. Inf. Process. Lett. 51(4): 201-206 (1994)
	1993
18		Robert Harper, Mark Lillibridge: Explicit Polymorphism and CPS Conversion. POPL 1993: 206-219
17		Robert Harper, John C. Mitchell: On the Type Structure of Standard ML. ACM Trans. Program. Lang. Syst. 15(2): 211-252 (1993)
16		Robert Harper, Furio Honsell, Gordon D. Plotkin: A Framework for Defining Logics. J. ACM 40(1): 143-184 (1993)
15		Robert Harper, Bruce F. Duba, David B. MacQueen: Typing First-Class Continuations in ML. J. Funct. Program. 3(4): 465-484 (1993)
14		Robert Harper, Mark Lillibridge: Polymorphic Type Assignment and CPS Conversion. Lisp and Symbolic Computation 6(3-4): 361-380 (1993)
	1992
13		Robert Harper: Constructing Type Systems over an Operational Semantics. J. Symb. Comput. 14(1): 71-84 (1992)
	1991
12		Robert Harper, Benjamin C. Pierce: A Record Calculus Based on Symmetric Concatenation. POPL 1991: 131-142
11		Bruce F. Duba, Robert Harper, David B. MacQueen: Typing First-Class Continuations in ML. POPL 1991: 163-173
10		Robert Harper, Robert Pollack: Type Checking with Universes. Theor. Comput. Sci. 89(1): 107-136 (1991)
	1990
9		Robin Milner, Mads Tofte, Robert Harper: Definition of standard ML. MIT Press 1990: I-XI, 1-101
8		Robert Harper, John C. Mitchell, Eugenio Moggi: Higher-Order Modules and the Phase Distinction. POPL 1990: 341-354
	1989
7		Robert Harper, Donald Sannella, Andrzej Tarlecki: Logic Representation in LF. Category Theory and Computer Science 1989: 250-272
6		Robert Harper, Donald Sannella, Andrzej Tarlecki: Structure and Representation in LF LICS 1989: 226-237
5		Robert Harper, Robert Pollack: Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft). TAPSOFT, Vol.2 1989: 241-256
	1988
4		John C. Mitchell, Robert Harper: The Essence of ML. POPL 1988: 28-46
	1987
3		Robert Harper, Furio Honsell, Gordon D. Plotkin: A Framework for Defining Logics LICS 1987: 194-204
2		Robert Harper, Robin Milner, Mads Tofte: A Type Discipline for Program Modules. TAPSOFT, Vol.2 1987: 308-319
	1985
1		Robert Harper: Modules and Persistence in Standard ML. Data Types and Persistence (Appin) 1985: 21-30

Coauthor Index

1	Umut A. Acar	[54] [62] [65] [75] [77] [99] [109]
2	John D. Ainsworth	[81] [83]
3	Eric Allen	[91]
4	Jim Allen	[97]
5	Zena M. Ariola	[97]
6	Kumar Avijit	[105]
7	Mark W. Bailey	[91] [102]
8	David A. Basin	[64]
9	Andrew Bernard	[37]
10	Edoardo Biagioni	[22] [47]
11	Lars Birkedal	[35] [41]
12	Guy E. Blelloch	[46] [51] [54] [58] [62] [65] [70] [75] [77] [92] [96] [99] [101] [109]
13	Matthias Blume	[75] [99]
14	Rastislav Bodík	[91]
15	Adam Bodnar	[80]
16	Kim B. Bruce	[91] [102]
17	Iain E. Buchan	[81]
18	Hal Burch	[46]
19	Manuel M. T. Chakravarty	[87]
20	Bor-Yuh Evan Chang	[55]
21	Perry Cheng	[30] [31] [38] [59]
22	Lynn Chien	[84]
23	Adam Chlipala	[71]
24	Christopher Colby	[56]
25	Karl Crary	[42] [46] [55] [56] [59] [60] [61] [66] [73] [74] [76] [79] [85] [86] [88]
26	Pierre-Louis Curien	[97]
27	Olivier Danvy	[64]
28	Anupam Datta	[105]
29	Margaret DeLap	[55]
30	Derek Dreyer	[59] [60] [87]
31	Bruce F. Duba	[11] [15]
32	Ryan Eccles	[89] [93] [95]
33	Matthias Felleisen	[24]
34	Kathleen Fisher	[91] [102]
35	Matthew Fluet	[97]
36	Jeff Foster	[97]
37	Stephen N. Freund	[91]
38	Phillip B. Gibbons	[92] [96] [101]
39	Andrew D. Gordon (Andy Gordon)	[110]
40	Dan Grossman	[97]
41	Joseph Y. Halpern	[49]
42	John Harrison	[110]
43	Hugo Herbelin	[97]
44	Furio Honsell	[3] [16]
45	Neil Immerman	[49]
46	Alan Jeffrey	[110]
47	David Jonker	[84]
48	Ismael Juma	[81]
49	Thomas Kapler	[84] [89] [93] [95]
50	Gabriele Keller	[87]
51	Adeel Khamisa	[107]
52	Phokion G. Kolaitis	[49]
53	Chandra Krintz	[91]
54	Shriram Krishnamurthi	[91]
55	James R. Larus	[91]
56	Doug Lea	[91]
57	Gary T. Leavens	[91]
58	Daniel K. Lee	[88]
59	Peter Lee	[22] [28] [30] [31] [37] [38] [47] [56]
60	Daniel R. Licata	[82] [94] [100] [103] [104] [106] [108] [111]
61	Mark Lillibridge	[14] [18] [21] [25]
62	Jason Liszka	[55]
63	David B. MacQueen	[11] [15]
64	Yitzhak Mandelbaum	[57] [63]
65	Gary L. Miller	[46]
66	Robin Milner	[2] [9]
67	Brian Milnes	[22]
68	Yasuhiko Minamide	[29]
69	John C. Mitchell	[4] [8] [17] [27] [33] [40]
70	Eugenio Moggi	[8]
71	J. Gregory Morrisett (Greg Morrisett)	[23] [24] [29] [30] [31] [34] [50]
72	Aleksandar Nanevski	[51] [58]
73	Leaf Petersen	[59] [61] [71]
74	Frank Pfenning	[36] [48] [55] [56] [61] [66] [69]
75	Benjamin C. Pierce	[12] [45]
76	Gordon D. Plotkin	[3] [16]
77	Robert Pollack	[5] [10]
78	Lori L. Pollock	[91]
79	Pascale Proulx	[80] [84] [107]
80	Sidd Puri	[42]
81	Stuart Reges	[91] [102]
82	Martin C. Rinard	[91]
83	Donald Sannella	[6] [7] [20]
84	Fred B. Schneider	[50]
85	David Schroh	[80] [84]
86	Peter Sewell	[110]
87	Mark A. Sheldon	[91]
88	Yannis Smaragdakis	[97]
89	Daniel Spoonhower	[70] [92] [96] [101]
90	Christopher A. Stone	[30] [31] [43] [44] [78]
91	David Swasey	[79]
92	Sumeet Tandon	[80]
93	Kanat Tangwongsan	[75] [99]
94	David Tarditi	[30] [31]
95	Andrzej Tarlecki	[6] [7] [20]
96	Mads Tofte	[2] [9]
97	Franklyn A. Turbak	[91]
98	Tom Murphy VII	[55] [66] [73] [79] [86]
99	Joseph Vanderwaart	[59]
100	Moshe Y. Vardi	[49]
101	Victor Vianu	[49]
102	Jorge L. Vittes	[65]
103	David Walker	[57] [63] [97]
104	Noel Walkington	[46]
105	Mitchell Wand	[91]
106	Richard L. Wexelblat	[32]
107	Shan Leung Maverick Woo	[65]
108	William Wright	[80] [84] [89] [93] [95]
109	Hongwei Xi	[52]
110	Steve Zdancewic	[97]
111	Noam Zeilberger	[94] [100]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page