| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910574884203321 |
|
|
Titolo |
Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development / / Hsiang-Shang Ko, Dominic Orchard, editors |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, NY : , : Association for Computing Machinery, , 2021 |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (22 pages) : illustrations |
|
|
|
|
|
|
Collana |
|
ACM international conference proceedings series |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer programs |
Functional programming (Computer science) |
Programming languages (Electronic computers) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
|
|
|
|
|
Sommario/riassunto |
|
Historically, TyDe is a merging of two previous workshops: the Workshop on Dependently Typed Programming and the Workshop on Generic Programming. These two research areas have a rich history, bridging both theory and practice, and having types at their core. Novel techniques explored by both communities have gradually spread to more mainstream languages. This workshop thus covers topics of generic programming and dependently typed programming, as well as static and dynamic analyses of types, tools and IDEs, and generally the design and implementation of programming languages exploiting types in novel ways. The workshop features contributions from around the world capturing the state of the art in these important areas. |
|
|
|
|
|
|
|
| |