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