Description
Trends in Functional Programming, 1st ed. 2019
17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Theoretical Computer Science and General Issues Series
Coordinators: Van Horn David, Hughes John
Language: EnglishKeywords
artificial intelligence; functional programming; haskell; program compilers; programming languages; semantics; type inferences; type systems; type theory; functional languages; embedded software; run-time environments; just-in-time compilers; programming logic; data structures design and analysis; data types and structures; program reasoning; formal software verification; dynamic analysis; lambda calculus
193 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>