Trends in Functional Programming [[electronic resource] ] : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / / edited by William J. Bowman, Ronald Garcia
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Trends in Functional Programming [[electronic resource] ] : 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / / edited by William J. Bowman, Ronald Garcia
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Edizione: | 1st ed. 2020. |
| Descrizione fisica: | 1 online resource (141 pages) |
| Disciplina: | 005.114 |
| Soggetto topico: | Computer programming |
| Artificial intelligence | |
| Compilers (Computer programs) | |
| Computer engineering | |
| Computer networks | |
| Computer science | |
| Programming Techniques | |
| Artificial Intelligence | |
| Compilers and Interpreters | |
| Computer Engineering and Networks | |
| Theory of Computation | |
| Persona (resp. second.): | BowmanWilliam J |
| GarciaRonald | |
| Note generali: | Includes index. |
| Nota di contenuto: | Quotients by Idempotent Functions in Cedille -- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker -- Verifying Selective CPS Transformation for Shift and Reset -- How to Specify it! A Guide to Writing Properties of Pure Functions -- Type Inference for Rank 2 Gradual Intersection Types -- Set Constraints, Pattern Match Analysis, and SMT. |
| Sommario/riassunto: | This book constitutes the thoroughly refereed revised selected papers of the 20th International Symposium on Trends in Functional Programming, TFP 2019, held in Vancouver, Canada, in June 2019. The 6 revised full papers were selected from 11 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions, described in draft papers submitted prior to the symposium. |
| Titolo autorizzato: | Trends in Functional Programming |
| ISBN: | 3-030-47147-0 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996418313803316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Theoretical Computer Science and General Issues, . 2512-2029 ; ; 12053