Vous pouvez vous abonner à nos annonces de séminaires http://gallium.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o / ) __) / / / / / /\/| (___/ (_/ (_ (_ / (__/ / | I N R I A - Paris 2 rue Simone Iff (ou: 41 rue du Charolais) Salle Lions 1, bâtiment C Jeudi 22 novembre, 14h00 --------------- Gabriel Radanne --------------- Albert-Ludwigs-Universität Freiburg ====================== Kindly Bent to Free Us ====================== Several integrations of linear types into functional programming languages have been proposed with very different approaches, ranging from direct adaptation of linear logic to ownership-based approaches. Unfortunately, such proposals often do not mesh well with features from the ML family of programming languages such as strictness, complete type inference and module-based type abstraction. We present a work-in-progress extension of ML with affine types. This extension aims to be a simple conservative extension of ML that can be retro-fitted on top of an existing language. It supports principal type inference, ML-style type abstraction, and does not require any linearity annotations inside terms. This extension makes use of a novel combination of qualified types and subkinding to track the linearity of variables in types.