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
• 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.