Login
Talks & Seminars
Title: Games Semantics for Functional Programming Languages with Control and State
Dr. Pierre-Louis Curien, University of Paris
Date & Time: April 3, 2008 14:00
Venue: Lecture Hall, 02nd Floor, 'B' Floor, Kanwal Rekhi Building
Abstract:
Game semantics assigns appealing meaning to programs or modules as strategies of a player opposed to the environment (the libraries used by the program, the program in which the module is inserted). Game semantics have proven to be superior to other approaches for giving direct semantics for control (exceptions) and references (local variables). It has also led to new theoretical results relating denotational and operational semantics (full abstraction).
Speaker Profile:
Pierre-Louis Curien is a CNRS researcher and is the Director of the Laboratory Preuves, Programmes et Systemes of the University Paris and CNRS (www.pps.jussieu.fr). His research interests lie in programming languages and proof theory, and include in particular lambda calculi (and explicit substitutions), typing (in particular: subtyping, parametricity), domain theory (in particular: sequentiality), linear logic, games semantics, and classical logic.
List of Talks

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback