Published: 30th March 2010|
|Preface Mário Florido and Ian Mackie|
|Categorical Models for a Semantically Linear Lambda-calculus Marco Gaboardi and Mauro Piccolo||1|
|Resource-Bound Quantification for Graph Transformation Paolo Torrini and Reiko Heckel||14|
|Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries, Adrian Francalanza and Matthew Hennessy||26|
|On Linear Information Systems A. Bucciarelli, A. Carraro, T. Ehrhard and A. Salibra||38|
|Labelled Lambda-calculi with Explicit Copy and Erase Maribel Fernández and Nikolaos Siafakas||49|
The aim of this workshop is to bring together researchers who are currently developing theory and applications of linear calculi, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.
Topics of interest included: linear types, session types, linear calculi, lambda-calculus, rho-calculus, term and graph rewriting, object calculi, interaction nets, games, process calculi, action graphs, calculi expressing locality, mobility and active data, quantum computational models and biological or chemical models of computation.
LINEARITY 2009 is the First International Workshop on Linearity, and took place in September 2009 in Coimbra, Portugal. The workshop was as a one-day satellite event of CSL 2009, the 18th EACSL Annual Conference on Computer Science Logic.
The Programme Committee selected five papers for presentation at LINEARITY 2009. In addition, the programme included invited talks by Alex Simpson, Edinburgh (Linearly-used Continuations and Self-duality), Simona Ronchi Della Rocca, Torino (Linearity and non-determinism: the full resource lambda calculus) and Simone Martini, Bologna (Invariant cost models for rewriting-based languages). Authors were then invited to revise their papers which passed a second round reviewing with the goal of selecting them for publication in EPCTS. As a result, we are happy to present here five extended selected papers.
Many people helped to make LINEARITY 2009 a success. In particular, we wish to thank Pedro Quaresma and Reinhard Kahle, conference chairs of CSL 2009. We are also grateful to the external referees for their careful and efficient work in the reviewing process, and in particular the programme committee members: Sandra Alves, Ugo Dal Lago, Maribel Fernández, Simon Gay, Martin Hofmann, Greg Morrisett, Alan Mycroft, Luke Ong, and Luca Paolini.
Mário Florido and Ian Mackie
Programme committee co-chairs