Copenhagen Programming Language Seminar

Talk by Robert Harper

Robert Harper
Carnegie Mellon University

Monday, September 7, 2009, 15:00-16:00
The IT University, Rued Langgaards Vej 7, DK-2300, Room TBA


There has been a great deal of research on programming languages for computing with binding and scope (bound variables, alpha-equivalence, capture-avoiding substitution). These languages are useful for a variety of tasks, such as implementing domain-specific languages and formalizing the metatheory of programming languages. Functional programming with binding and scope involves two different notions of function: functions-as-data and functions-as-computation. Functionsas- data, used to represent abstract syntax with variable binding, have an intensional, syntactic, character, in the sense that they can be inspected in ways other than function application. For example, many algorithms that process abstract syntax recur under binders, treating variables symbolically. On the other hand, functions-as-computation, the usual functions of functional programming, have an extensional character—a function from A to B is a black box that, when given an A, delivers a B. We are investigating a programming language that provides support for both functions-as-data and functions-as-computation as two different types. In this talk I'll give an overview of the language.

Joint work with: Dan Licata and Noam Zeilberger

Scientific host:Lars Birkedal Administrative host:Renée Korver Michan. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org