RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods.

Abstract: We discuss the integration of gradual typing into systems with intersection types. We focus on two target calculi for this analysis: the λ-calculus and the core object calculus Featherweight Java. The challenges that arise are due to the intrinsic differences between intersection types and gradual typing, both as opposing requirements of implementation. In this presentation, we show how these differences can be reconciled and the challenges overcome.

Bio: Pedro Ângelo is a PhD student in the Doctoral Programme in Computer Science at the Department of Computer Science, Faculty of Sciences, University of Porto. He is also an Invited Assistant Professor of CTP at the Department of Computer Science, Faculty of Sciences, University of Lisbon. His research interests cover type systems for functional languages, such as gradual typing and intersection types, and how these can be adapted to other paradigms, such as the object-oriented language Featherweight Java.