default search action

combined dblp search
author search
venue search
publication search

ask others

6th TyDe 2021: Virtual Event, Korea

> Home > Conferences and Workshops > TyDe

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- 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
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/HillKDP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/HillKDP21
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick:
Actions you can handle: dependent types for AI plans. 1-13
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Zhang21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Zhang21
Yinsen Zhang:
A simpler encoding of indexed types. 14-22

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.