Trends in functional programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers /: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers. (2020)
- Record Type:
- Book
- Title:
- Trends in functional programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers /: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers. (2020)
- Main Title:
- Trends in functional programming : 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised selected papers
- Other Titles:
- TFP 2020
- Further Information:
- Note: Aleksander Byrski, John Hughes (Eds.).
- Other Names:
- Byrski, Aleksander
Hughes, John
International Symposium on Trends in Functional Programming, 21st - Contents:
- Domain-specific languages -- PaSe: An Extensible and Inspectable DSL for Micro-Animations -- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs -- Generating next step hints for task oriented programs using symbolic execution -- Debugging and testing -- Scaling Up Delta Debugging of Type Errors -- Flexible Formality: Practical Experience with Agile Formal Methods -- White-Box Path Generation in Recursive Programs -- Reasoning and effects -- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang -- One-shot Algebraic Effects as Coroutines -- An equational modeling of asynchronous concurrent programming -- State will do -- Parallelism -- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data.
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2020
- Extent:
- 1 online resource (253 p.)
- Subjects:
- 005.1/1
Functional programming (Computer science) -- Congresses
Logic design -- Computer programs -- Congresses
Data structures (Computer science) -- Congresses
Electronic books - Languages:
- English
- ISBNs:
- 9783030577612
3030577619 - Related ISBNs:
- 3030577600
9783030577605 - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.540663
- Ingest File:
- 03_150.xml