TyDe '16 : proceedings of the 1st International Workshop on Type-Driven Development : September 18, 2016, Nara, Japan / / edited by James Chapman and Wouter Swierstra ; sponsored by ACM SIGPLAN
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
TyDe '16 : proceedings of the 1st International Workshop on Type-Driven Development : September 18, 2016, Nara, Japan / / edited by James Chapman and Wouter Swierstra ; sponsored by ACM SIGPLAN
|
| Pubblicazione: | New York : , : ACM, , 2016 |
| Descrizione fisica: | 1 online resource (71 pages) |
| Disciplina: | 005.13 |
| Soggetto topico: | Programming languages (Electronic computers) |
| Computer programs | |
| Persona (resp. second.): | ChapmanJames |
| SwierstraWouter | |
| Altri titoli varianti: | Type-Driven Development 2016 |
| Proceedings of the 1st International Workshop on Type-Driven Development | |
| ICFP '16 : ACM SIGPLAN International Conference on Functional Programming : Nara, Japan, September 18-22, 2016 | |
| International Conference on Functional Programming 2016 : Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Functional Programming : Nara, Japan, September 18-22, 2016 | |
| Titolo autorizzato: | TyDe '16 |
| ISBN: | 1-4503-4435-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910376436403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |