E-Book, Englisch, 149 Seiten, eBook
Wang / Owens Trends in Functional Programming
Erscheinungsjahr 2018
ISBN: 978-3-319-89719-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
E-Book, Englisch, 149 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-319-89719-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.