TyDe 2021 – Proceedings

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

Frontmatter

Papers

Actions You Can Handle: Dependent Types for AI Plans
Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, and Ronald P. A. Petrick
(Heriot-Watt University, UK)


@InProceedings{TyDe21p1, author = {Alasdair Hill and Ekaterina Komendantskaya and Matthew L. Daggitt and Ronald P. A. Petrick}, title = {Actions You Can Handle: Dependent Types for AI Plans}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3471875.3472990}, year = {2021}, } Publisher's Version

A Simpler Encoding of Indexed Types
Yinsen Zhang
(Pennsylvania State University, USA)


@InProceedings{TyDe21p17, author = {Yinsen Zhang}, title = {A Simpler Encoding of Indexed Types}, booktitle = {Proc.\ TyDe}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3471875.3472991}, year = {2021}, } Publisher's Version

proc time: 0.66