Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings / / JoseÌ F. Morales, Dominic Orchard (editors)
| Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings / / JoseÌ F. Morales, Dominic Orchard (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (IX, 179 p. 52 illus., 18 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Declarative programming languages |
| ISBN | 3-030-67438-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations and Programming Concepts -- Applications of Declarative Languages -- Declarative Approaches to Testing and Debugging. |
| Record Nr. | UNINA-9910484502203321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings / / JoseÌ F. Morales, Dominic Orchard (editors)
| Practical aspects of declarative languages : 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, proceedings / / JoseÌ F. Morales, Dominic Orchard (editors) |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (IX, 179 p. 52 illus., 18 illus. in color.) |
| Disciplina | 005.131 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Declarative programming languages |
| ISBN | 3-030-67438-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations and Programming Concepts -- Applications of Declarative Languages -- Declarative Approaches to Testing and Debugging. |
| Record Nr. | UNISA-996464441903316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development / / Hsiang-Shang Ko, Dominic Orchard, editors
| 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 |
| Disciplina | 005.114 |
| Collana | ACM international conference proceedings series |
| Soggetto topico |
Computer programs
Functional programming (Computer science) Programming languages (Electronic computers) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910574884203321 |
| New York, NY : , : Association for Computing Machinery, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||