Vai al contenuto principale della pagina
Titolo: | Trends in Functional Programming : 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 |
005.11 | |
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.: | 9910409665403321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |