External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019

David Darais, Jeremy Gibbons, editors, Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019. ACM, 2019. [doi]

Conference: ICFP2019

Editors

David Darais

This author has not been identified. Look up 'David Darais' in Google

Jeremy Gibbons

This author has not been identified. It may be one of the following persons: Look up 'Jeremy Gibbons' in Google
runs on