8 results · clear filters Sort: newest oldest name

1. Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. (DCM, ITRS)
   2018-01-01 · Oxford, United Kingdom
   Computer and information sciences
   e120xkr
2. Workshop on Intersection Types and Related Systems (ITRS) (ITRS)
   series, 7 events, 2002 to 2018
   Computer and information sciences
   s10dexv
3. Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. (ITRS)
   2016-01-01 · Porto, Portugal
   Computer and information sciences
   e120w8g
4. Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. (ITRS)
   2014-07-18 · Vienna, Austria
   Computer and information sciences
   e120tnq
5. Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. (ITRS)
   2012-01-01 · Dubrovnik, Croatia
   Computer and information sciences
   e120sd9
6. Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. (ITRS)
   2010-01-01 · Edinburgh, United Kingdom
   Computer and information sciences
   e121288
7. Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004
   2004 · Turku, Finland
   Computer and information sciences
   e120h27
8. Intersection Types and Related Systems, ITRS 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002
   2002 · Copenhagen, Denmark
   Computer and information sciences
   e11f41s

As JSON: https://labs.confref.org/api/search?series=s10dexv