Write a Blog >>
Tue 20 Jun 2017 10:25 - 10:30 at Vertex WS217 - A Chair(s): Radu Grigore

The subtyping relation in Java exhibits self-similarity. The self-similarity in Java subtyping is interesting and intricate due to the existence of wildcard types and, accordingly, the existence of three subtyping rules for generic types: covariant subtyping, contravariant subtyping and invariant subtyping. Supporting bounded type variables also adds to the complexity of the subtyping relation in Java and in other generic nominally-typed OO languages such as C# and Scala.

In this paper we explore defining an operad to model the construction of the subtyping relation in Java and in similar generic nominally-typed OO programming languages. Operads, from category theory, are frequently used to model self-similar phenomena. The Java subtyping operad, we hope, will shed more light on understanding the type systems of generic nominally-typed OO languages.

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: AFTfJP at Vertex WS217
Chair(s): Radu GrigoreUniversity of Kent
09:30 - 09:50
Talk
FTfJP
Irina AsavoaeINRIA, Paris, France, Hoang Nga NguyenCoventry University, Coventry, UK, Markus RoggenbachSwansea University, Swansea, UK, Siraj Ahmed ShaikhCoventry University, Coventry, UK
Pre-print
09:50 - 10:25
Talk
FTfJP
Moussa AmraniUniversity of Namur, Pierre Yves SchobbensUniversity of Namur
10:25 - 10:30
Talk
FTfJP
Moez A. AbdelGawadInformatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print