Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

ACM SIGPLAN International Workshop on Type-Driven Development (TyDe)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of: ACM SIGPLAN International Conference on Functional Programming (ICFP)

8th TyDe 2023: Seattle, WA, USA

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2023tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2023tyde
Youyou Cong, Pierre-Évariste Dagand:
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023. ACM 2023 [contents]

7th TyDe 2022: Ljubljana, Slovenia

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2022tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2022tyde
TyDe '22: 7th ACM SIGPLAN International Workshop on Type-Driven Development, Ljubljana, Slovenia, 11 September 2022. ACM 2022, ISBN 978-1-4503-9439-0 [contents]

6th TyDe 2021: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2021tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2021tyde
Hsiang-Shang Ko, Dominic Orchard:
TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021. ACM 2021, ISBN 978-1-4503-8616-6 [contents]

5th TyDe 2020: Virtual Event

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2020tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2020tyde
James McKinna, Cyrus Omar:
Proceedings of the 5th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2020, Virtual Event, USA, August 23, 2020. ACM 2020, ISBN 978-1-4503-8051-5 [contents]

4th TyDe 2019: Berlin, Germany

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2019tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2019tyde
David Darais, Jeremy Gibbons:
Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019. ACM 2019, ISBN 978-1-4503-6815-5 [contents]

3rd TyDe 2018: St. Louis, Missouri, USA

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2018tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2018tyde
Richard A. Eisenberg, Niki Vazou:
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018. ACM 2018 [contents]

2nd TyDe 2017: Oxford , UK

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2017tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2017tyde
Sam Lindley, Brent A. Yorgey:
Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2017, Oxford, UK, September 3, 2017. ACM 2017, ISBN 978-1-4503-5183-6 [contents]

1st TyDe 2016: Nara, Japan

- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2016tyde
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2016tyde
James Chapman, Wouter Swierstra:
Proceedings of the 1st International Workshop on Type-Driven Development, TyDe@ICFP 2016, Nara, Japan, September 18, 2016. ACM 2016, ISBN 978-1-4503-4435-7 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.