Buch, Englisch, 149 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 254 g
18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers
Buch, Englisch, 149 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 254 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-319-89718-9
Verlag: Springer International Publishing
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
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.