Robert Harper - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming languages

Practical Foundations for Programming LanguagesRobert Harper. 2012.

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]

An exploration of program as languageElisa L. A. Baniassad, Clayton G. Myers. OOPSLA 2009: 547-556 [doi]

Run-time Manipulation of Programs in a Statically-Typed LanguageSaso Greiner. informaticaSI, 33(3):397-398, 2009. [doi]

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

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

Linear programs in a simple reversible languageArmando B. Matos. TCS, 290(3):2063-2074, 2003.

Madura: A Language for Learning Vision Programs from ExamplesRhys Newman. jmiv, 11(1):65-90, 1999. [doi]

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

A Processor Description Language Supporting Retargetable Multi-Pipeline DSP Program Development ToolsChuck Siska. isss 1998: 31-36 [doi]

Interactive Exercises And Authoring Programs For Language Learning On The WebPeter Biddulph. webnet 1998:

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

A Language for Specifying Distributed Program BehaviorYu. V. Bakalov, R. L. Smelianski. parcella 1996: 291-292

PQL: A Language for Specifying Abstract Program ViewsStan Jarzabek. ESEC/FSE 1995: 324-342

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

Orthogonal Languages: A Framework for Program DevelopmentShmuel Rotenstreich. Comp. Lang., Syst. \& Struct., 17(2):83-100, 1992.

A Snapshot of two DARPA Speech and Natural Language ProgramsCharles L. Wayne. naacl 1991: [doi]

Interaction Diagrams: a Visual Language for Controlling a Visual Program EditorEric J. Golin. vl 1991: 153-158

Towards languages that support program derivation, or control modularity considered harmfulReino Kurki-Suonio. actaC, 9(3):179-192, 1990.

Common Cognitive Representations of Program Code Across Tasks and LanguagesScott P. Robertson, Chiung-Chen Yu. ijmms, 33(3):343-360, 1990.

Interactive Support for Planing Visual Programs in the Problem Solving Monitor ABSYNT: Giving Feedback to User Hypotheses on the Language LevelClaus Möbus, Heinz-Jürgen Thole. iccal 1990: 36-49

Dehumanized People and Humanized Programs: A Natural Language Understanding View of Being ThereDan Fass. sigart, 1(2):3-7, 1990.

Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC¹David A. Mix Barrington. jcss, 38(1):150-164, 1989.

The Use of Single Family of Languages for Program DevelopmentShmuel Rotenstreich. acm 1989: 380-387

A Simple System for Constructing Distributed, Mixed-language ProgramsRoger Hayes, Steve W. Manweiler, Richard D. Schlichting. SPE, 18(7):641-660, 1988.

From Water To Wine: Generating Natural Language Text From Today s Applications ProgramsDavid D. McDonald, Marie Meteer. anlp 1988: 41-48 [doi]

A Programmable Interface Language for Heterogeneous Distributed SystemsJoseph R. Falcone. tocs, 5(4):330-351, 1987. [doi]

Program Structure Charts for Applicative LanguagesFrank G. Pagan. TSE, 13(4):490-497, 1987.

Bounded-Width Polynomial-Size Branching Programs Recognize Exactly Those Languages in NC¹David A. Mix Barrington. stoc 1986: 1-5

Transportability to Other Languages: The Natural Language Processing Project in the AI Program at MCCJonathan Slocum, Carol F. Justus. tois, 3(2):204-230, 1985. [doi]

Complexity measures for assembly language programsJ. David Blaine, Richard A. Kemmerer. jss, 5(3):229-245, 1985. [doi]

A method and a language for constructing iterative programsJean-Pierre Finance, Jeanine Souquières. SCP, 5(2):201-218, 1985.

Use of Very High Level Languages and Program Generation by Management ProfessionalsThomas T. Cheng, Evan D. Lock, Noah S. Prywes. TSE, 10(5):552-563, 1984.

Language Constructs for Distributed ProgramsGünter Hommel. ac 1985: 287-341

ELIZA - A Computer Program For the Study of Natural Language Communication Between Man And Machine (Reprint)Joseph Weizenbaum. CACM, 26(1):23-28, 1983.

On the Development of a Measurement System for High Level Language Program StatisticsMartin de Prycker. TC, 31(9):883-891, 1982.

Mapping High-Order Language Program Units into VLSI StructuresElliott I. Organick, Gary Lindstrom. compcon 1982: 15-18

Language recognition by linear bounded and copy programsLutz Voelkel. fct 1979: 491-495

Use of a Nonprocedural Specification Language and Associated Program Generator in Software DevelopmentNoah S. Prywes, Amir Pnueli, S. Shastry. TOPLAS, 1(2):196-217, 1979. [doi]

A Language and a Program for Stating and Solving Combinatorial ProblemsJean-Louis Laurière. ai, 10(1):29-127, 1978.

Program Proving-Expression LanguagesPaul Pritchard. ifip11-9 1977: 727-731

GYPSY: A Language for Specification and Implementation of Verifiable ProgramsAllen L. Ambler. ldrs 1977: 1-10

A Language for Inquiring about the Run-time Behaviour of ProgramsJacques Cohen, Neal Carpenter. SPE, 7(4):445-460, 1977.

The Logical Meaning of Programs of a Subrecursive LanguageWolfgang Coy. ipl, 4(5):121-126, 1976.

Simple Program Schemes and Formal LanguagesJoost Engelfriet. Volume 20 of Lecture Notes in Computer Science, Springer, 1974.

Job Control Languages and Job Control ProgramsD. W. Barron. cj, 17(3):282-286, 1974.

Two Languages for Estimating Program EfficiencyJacques Cohen, Carl Zuckerman. CACM, 17(6):301-308, 1974.

The teachable language comprehender: a simulation program and theory of languageM. Ross Quillian. CACM, 12(8):459-476, 1969. [doi]

ELIZA - a computer program for the study of natural language communication between man and machineJoseph Weizenbaum. CACM, 9(1):36-45, 1966. [doi]

runs on WebDSL