ITRS

Keyphrases

Publications

volume 242, 2017

Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. ITRS 242 (2017)

2016

volume 177, 2015

Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. ITRS 177 (2015)

2014

volume 121, 2013

Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. ITRS 121 (2013)

2012

2010

volume 45, 2010

Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. ITRS 45 (2010)

volume 136, 2005

Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004 ITRS 136 (2005)

volume 70, number 1, 2003

Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002 ITRS 70 (1) (2003)