Record:   Prev Next
作者 International Symposium on Trends in Functional Programming (18th : 2017 : Canterbury, England)
書名 Trends in functional programming : 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers / edited by Meng Wang, Scott Owens
出版項 Cham : Springer International Publishing : Imprint: Springer, 2018
國際標準書號 9783319897196 (electronic bk.)
9783319897189 (paper)
國際標準號碼 10.1007/978-3-319-89719-6 doi
book jacket
說明 1 online resource (vii, 149 pages) : illustrations, digital ; 24 cm
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
系列 Lecture notes in computer science, 0302-9743 ; 10788
Lecture notes in computer science ; 10788
附註 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
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area
Host Item Springer eBooks
主題 Functional programming (Computer science) -- Congresses
Logic design -- Computer programs -- Congresses
Data structures (Computer science) -- Congresses
Computer Science
Programming Techniques
Software Engineering
Operating Systems
Programming Languages, Compilers, Interpreters
Special Purpose and Application-Based Systems
Computer System Implementation
Alt Author Wang, Meng, editor
Owens, Scott, editor
SpringerLink (Online service)
Alt Title TFP 2017
Record:   Prev Next