• Non ci sono risultati.

Intersection Types and Related Systems (ITRS)

N/A
N/A
Protected

Academic year: 2021

Condividi "Intersection Types and Related Systems (ITRS)"

Copied!
2
0
0

Testo completo

(1)

Fundamenta Informaticae 121 (2012) i-ii i DOI 10.3233/FI-2012-769

IOS Press

Intersection Types and Related Systems (ITRS)

Preface

Types support reliable reasoning in many areas such as logic, linguistics, programming languages, software and hardware verification, among others. A comprehensive background is settled in the upcom-ing book by H.B. Barendregt, W. Dekkers and R. Statman [1].

Intersection types have been introduced in the late 1970s as a language for describing properties of lambda calculus which were not captured by all previous type systems. They provided the first charac-terisation of strongly normalising lambda terms and become a powerful syntactic and semantic tool for analysing various normalisation properties as well as lambda models.

Over the last thirty years the scope of research on intersection types has broadened. Recently, there have been a number of breakthroughs in the use of intersection types and similar technology for practical purposes such as program analysis, verification and concurrency. This issue is devoted to the latest developments in the theory and practice of intersection types and related systems.

The aim of the ITRS workshop series is to bring together researchers working both on theoreti-cal developments and practitheoreti-cal applications of intersection types and related systems with union types, recursive types, refinement types, behavioural types, etc.. While this issue is inspired by The Fourth Workshop on Intersection Types and Related Systems - ITRS’08 held in Turin, Italy on March 25, 2008, submissions were not restricted to the papers presented at the workshop.

The Program Committee members of ITRS’08 were: Steffen van Bakel (Imperial College, London, UK)

Franco Barbanera (Universit`a degli Studi di Catania, Italy) Daniel Dougherty (Worcester Polytechnic Institute, USA) Silvia Ghilezan (Chair) (Univerzitet u Novom Sadu, Serbia) Pierre Lescanne ( ´Ecole Normale Sup´erieure de Lyon, France) Ugo de’ Liguoro (Universit`a degli Studi di Torino, Italy)

Yiorgos Stavrinos (National Technical University of Athens, Greece) Paweł Urzyczyn (Uniwersytet Warszawski, Poland)

Joe Wells (Heriot-Watt University, Edinburgh, UK).

(2)

ii

We want to thank the members of the program committee and the referees Fabio Alessi, Mariangiola Dezani-Ciancaglini, Roger Hindley, Jelena Iveti´c, Silvia Likavec, Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca, Alexis Saurin, Betti Venneri and Dragiˇsa ˇZuni´c for donating their time to ITRS’08 and this issue, reviewing the submissions and suggesting improvements. Also, we want to thank the researchers who contributed to this issue with their ideas, work and patience. Our special thanks go to Damian Niwi´nsky, Fundamenta Informaticæ’s Editor-in-chief, and Andrzej Skowron, Fundamenta Informaticæ’s former Editor-in-chief, for the opportunity to edit this issue and for their patience and constant support during the publication process. We thank Ms Gra˙zyna Doma´nska- ˙Zurek, the technical editor, for all efforts along editing this special issue.

References

[1] H.P. Barendregt, R. Statman. W. Dekkers: Lambda Calculus with Types, Cambridge University Press (2012).

Silvia Ghilezan University of Novi Sad Faculty of Technical Sciences gsilvia@uns.ac.rs Luca Paolini

Universit`a di Torino

Dipartimento di Informatica paolini@di.unito.it (Editors of the issue)

Riferimenti

Documenti correlati

We have elucidated that the effective intramolecular interactions between the t 1u electrons, which arise from the combination of the Coulomb repulsion and electron –phonon

The excellent device performance of the Lg = 0.13 Pm metamorphic HEMT demonstrated shows that the reflowed T-gate process developed is compatible with the metamorphic HEMT

In this context, our main contribution is the definition and implementation of relevant design/interaction patterns for reusable software components, to be adopted when two

sembra non consentita dal comma 1 della stessa disposizione: i due commi vanno letti l’uno accanto all’altro, secondo significati diffe- renziati ma al contempo coerenti; quando

We have studied an armchair graphene ribbon with a series of randomly spaced tunnel barriers, observing the influence of the geometric details of the device on its conductance and

In the non- homogeneous case, we study how the regularity of solutions depends on the regularity of forcing terms, and we characterize the spaces where a bounded forcing term yields

As our focus in this paper is on the characterization of the application power models, we suppose that all virtual machines being considered have the same configuration, and we

Our approach stems from realizing the existence of a structural analogy, introduced in [9], which to our knowledge had not been hitherto pointed out in the literature, between