Philip Wadler - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged programming languages

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008George C. Necula, Philip Wadler, editors, ACM, 2008.

A Language Facilitating Informal Reasoning about ProgramsJ. Nelson Rushton, Dwayne Towell. seke 2007: 396

Faith, evolution, and programming languages: from Haskell to Java to linksPhilip Wadler. OOPSLA 2006: 508 [doi]

Links: Web Programming Without TiersEzra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop. FMCO 2007: 266-296 [doi]

Designing a scripting language to help the blind program visuallyKenneth G. Franqueiro, Robert M. Siegfried. assets 2006: 241-242 [doi]

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

Making program execution comprehensible one level above the machine languageCecile Yehezkel. iticse 2003: 124-128 [doi]

A Scripting Language to Help the Blind to Program VisuallyRobert M. Siegfried. SIGPLAN, 37(2):53-56, 2002.

Making the Future Safe for the Past: Adding Genericity to the Java Programming LanguageGilad Bracha, Martin Odersky, David Stoutamire, Philip Wadler. OOPSLA 1998: 183-200 [doi]

A Programmable Multi-Language Generator for CoDesignJean Paul Calvez, Dominique Heller, F. Muller, Olivier Pasquier. date 1998: 927-928 [doi]

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:

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

Visual Execution of Assembly Language ProgramsMark Newsome, Cherri M. Pancake, Christopher Ward. acm 1993: 38-43 [doi]

SIGPLAN Notices Special Issue on the Functional Programming Language HaskellJoseph H. Fasel, Paul Hudak, Simon L. Peyton Jones, Philip Wadler. SIGPLAN, 27(5):1, 1992.

Report on the Programming Language Haskell, A Non-strict, Purely Functional LanguagePaul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson. SIGPLAN, 27(5):1, 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]

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