E-Book, Englisch, Band 12053, 143 Seiten, eBook
Bowman / Garcia Trends in Functional Programming
Erscheinungsjahr 2020
ISBN: 978-3-030-47147-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
E-Book, Englisch, Band 12053, 143 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-47147-7
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Quotients by Idempotent Functions in Cedille.- Early Experience in Teaching the Basics of Functional Language Design with a Language Type Checker.- Verifying Selective CPS Transformation for Shift and Reset.- How to Specify it! A Guide to Writing Properties of Pure Functions.- Type Inference for Rank 2 Gradual Intersection Types.- Set Constraints, Pattern Match Analysis, and SMT.