Robert Harper - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming

Distributed programming with distributed authorizationKumar Avijit, Anupam Datta, Robert Harper. tldi 2010: 27-38 [doi]

Report of the 2008 SIGPLAN programming languages curriculum workshop: preliminary reportMark W. Bailey, Kim B. Bruce, Kathleen Fisher, Robert Harper, Stuart Reges. sigcse 2009: 132-133 [doi]

Augmented Lagrangians in semi-infinite programmingJan-J. Rückmann, Alexander Shapiro. mp, 116(1-2):499-512, 2009. [doi]

High-level Programming Support for Robust Pervasive Computing ApplicationsWilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia L. Lawall. percom 2008: 252-255 [doi]

Quadratic convex reformulations for quadratic 0-1 programmingMarie-Christine Plateau. 4or, 6(2):187-190, 2008. [doi]

BSGP: bulk-synchronous GPU programmingtog, 27(3):19, 2008. [doi]

Type-Safe Distributed Programming with ML5Tom Murphy VII, Karl Crary, Robert Harper. tgc 2008: 108-123 [doi]

Towards a mechanized metatheory of standard MLDaniel K. Lee, Karl Crary, Robert Harper. POPL 2007: 173-184 [doi]

A trust region SQP algorithm for mixed-integer nonlinear programmingOliver Exler, Klaus Schittkowski. ol, 1(3):269-280, 2007. [doi]

An improved linearization strategy for zero-one quadratic programming problemsHanif D. Sherali, Jonathan Cole Smith. ol, 1(1):33-47, 2007. [doi]

Numerical solution for linear and quadratic programming problems using a recurrent neural networkA. Malek, M. Alipour. amc, 192(1):27-39, 2007. [doi]

Adaptive functional programmingUmut A. Acar, Guy E. Blelloch, Robert Harper. TOPLAS, 28(6):990-1034, 2006. [doi]

Project prioritization under policy restrictions. A combination of MCDA with 0-1 programmingGeorge Mavrotas, Danae Diakoulaki, Y. Caloghirou. eor, 171(1):296-308, 2006. [doi]

Mechanizing the meta-theory of programming languagesRobert Harper. ICFP 2005: 240 [doi]

Semidefinite programming bounds on the probability of error of binary communication systems with inexactly known intersymbol interferenceBing Hwa Cheng, Lieven Vandenberghe, Kung Yao. TIT, 51(8):2951-2954, 2005. [doi]

Another person s eye gaze as a cue in solving programming problemsRandy Stein, Susan Brennan. icmi 2004: 9-15 [doi]

Adaptive functional programmingUmut A. Acar, Guy E. Blelloch, Robert Harper. POPL 2002: 247-259 [doi]

Persistent triangulations Journal of Functional ProgrammingGuy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, Gary L. Miller, Noel Walkington. JFP, 11(5):441-466, 2001.

Towards High-Level Programming Support for Scientific Computing on ClustersHans P. Zima. cluster 2001: 193 [doi]

Towards an Interactive Programming TutorPaula Roberts, Alan Mullally. webnet 2001: 1049-1050

Programming a Distributed Agent Society with COUGAARD. Moore. TOOLS 2001: 358 [doi]

Graphics Libraries for Windows ProgrammingM. Carmen Juan Lizandra. crossroads, 6(4), 2000. [doi]

A Module System for a Programming Language Based on the LF Logical FrameworkRobert Harper, Frank Pfenning. logcom, 8(1):5-31, 1998.

Cooperative research in underwater robot mission-level programming methodologiesÈve Coste-Manière, Howard H. Wang, Stephen M. Rock, Vincent Rigaud, Alexis Peuch, Michel Perrier. ijsysc, 29(10):1099-1110, 1998. [doi]

Pipelined programming in PVMGabriella Dodero, R. Valia. jsa, 43(1-5):135-141, 1997.

Introduction of a distance cut-off into structural alignment by the double dynamic programming algorithmHiroyuki Toh. bioinformatics, 13(4):387-396, 1997.

Research in Programming Languages for Composability, Safety, and PerformanceRobert Harper, Peter Lee. ACM Comput. Surv., 28(4es):195, 1996.

Reliable Interactive Programming with ModulesSho-Huan Simon Tung, R. Kent Dybvig. lisp, 9(4):343-358, 1996.

1995 Joint Conference on Declarative Programming, GULP-PRODE 95, Marina di Vietri, Italy, September 11-14, 1995María Alpuente, Maria I. Sessa, editors, 1995.

Categories, Relations and Dynamic ProgrammingOege de Moor. mscs, 4(1):33-69, 1994.

1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994.

1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 2María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994.

A tutorial introduction to grammatical programmingChristopher N. Carlson. ifip5-2 1994: 73-84

From Dynamic Programming to Greedy AlgorithmsRichard S. Bird, Oege de Moor. ifip2-1 1993: 43-61

Constructing Type Systems over an Operational SemanticsRobert Harper. JSC, 14(1):71-84, 1992.

ESOP 92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, ProceedingsBernd Krieg-Brückner, editor, Volume 582 of Lecture Notes in Computer Science, Springer, 1992.

Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991John Darlington, Roland Dietrich, editors, Workshops in Computing, Springer, 1992.

Trends in robot kinematics, dynamics, control, sensing, programming, and simulationMohammed Jamshidi, Clément M. Gosselin. ras, 9(4):199-200, 1992. [doi]

ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, ProceedingsNeil D. Jones, editor, Volume 432 of Lecture Notes in Computer Science, Springer, 1990.

Managing programming productivityD. Ross Jeffery, M. J. Lawrence. jss, 5(1):49-58, 1985. [doi]

Improved Algorithms for Integer Programming and Related Lattice ProblemsRavi Kannan. stoc 1983: 193-206

comments on Concepts and Notations for Concurrent Programming Surveyors Forum. ACM Comput. Surv., 15(4):375-377, 1983.

International Symposium on Programming, Proceedings of the Fourth Colloque International sur la Programmation , Paris, France, 22-24 April 1980Bernard Robinet, editor, Volume 83 of Lecture Notes in Computer Science, Springer, 1980.

An Inter-Organizational Comparison of Programming ProductivityD. Ross Jeffery, M. J. Lawrence. ICSE 1979: 369-377

Bicriterion linear programmingPakorn Adulbhan, Mario T. Tabucanon. cor, 4(2):147-153, 1977. [doi]

Programming and Documenting Software ProjectsP. J. Brown. ACM Comput. Surv., 6(4):213-220, 1974.

Concurrent Programming ConceptsPer Brinch Hansen. ACM Comput. Surv., 5(4):223-245, 1973.

An interactive display for approximation by linear programmingPaul S. LaFata, J. Ben Rosen. CACM, 13(11):651-659, 1970. [doi]

A comparison of the primal-simplex and primal-dual algorithms for linear programmingR. K. Mueller, L. Cooper. CACM, 8(11):682-686, 1965. [doi]

runs on WebDSL