Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers /: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers. (2018)
- Record Type:
- Book
- Title:
- Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers /: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers. (2018)
- Main Title:
- Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, revised selected papers
- Further Information:
- Note: Edited by Meng Wang, Scott Owens.
- Editors:
- Wang, Meng
Owens, Scott - Other Names:
- International Symposium on Trends in Functional Programming, 18th
- Contents:
- Memoized Flat Closures for CPS -- Maintaining Separation of Concerns Through Task-Oriented Software Development -- Typed Relational Conversion -- A Multi-tier Version of Elm and its Time-Traveling Debugger -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML -- The CakeML Compiler Explorer: Tracking Intermediate Representations in a Verified Compiler.
- Publisher Details:
- Cham : Springer International Publishing Imprint Springer
- Publication Date:
- 2018
- Extent:
- 1 online resource (VII, 149 pages), 48 illustrations
- Subjects:
- 005.11
Computer science
Functional programming (Computer science) -- Congresses
Logic design -- Computer programs -- Congresses
Data structures (Computer science) -- Congresses
Computer architecture
Computer programming
Computer science
Computers, Special purpose
Operating systems (Computers)
Programming languages (Electronic computers)
Software engineering
Computers -- Software Development & Engineering -- General
Computers -- Operating Systems -- General
Computers -- Programming Languages -- General
Computers -- Expert Systems
Computers -- Information Technology
Software Engineering
Operating systems
Programming & scripting languages: general
Expert systems / knowledge-based systems
Systems analysis & design
Software engineering
Operating systems (Computers)
Computer network architectures
Computers -- Programming -- General
Computer programming / software development
Electronic books - Languages:
- English
- ISBNs:
- 9783319897196
3319897195 - Related ISBNs:
- 9783319897189
3319897187 - 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.367613
- Ingest File:
- 01_345.xml