To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 24/04/03 - Paris - FR

*** Notez la date inhabituelle, Amphi 1b ***

      Vous pouvez maintenant vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                                  Amphi 1b

                           Jeudi 24 avril, 10h30

                               --------------
                               Hayo Thielecke
                               --------------

                            Univ. Birmingham, UK

             ==================================================
             From Control Effects to Typed Continuation Passing
             ==================================================


  First-class continuations are  a powerful computational effect, allowing
  the programmer to express any form of jumping.  Types and effect systems
  can be used  to reason about continuations, both  in the source language
  and in  the target language  of the continuation-passing  transform.  In
  this paper,  we establish  the connection between  an effect  system for
  first-class  continuations and  typed  versions of  continuation-passing
  style.  A region in the effect system determines a local answer type for
  continuations, such that the continuation transforms of pure expressions
  are  parametrically polymorphic  in  their answer  types.   We use  this
  polymorphism to  derive transforms that make use  of effect information,
  in particular, a mixed linear/non-linear continuation-passing transform,
  in  which   expressions  without   control  effects  are   passed  their
  continuations linearly.