• Produktbild: Trends in Functional Programming
  • Produktbild: Trends in Functional Programming
Band 12222

Trends in Functional Programming 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.08.2020

Herausgeber

Aleksander Byrski + weitere

Verlag

Springer

Seitenzahl

249

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

400 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-57760-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.08.2020

Herausgeber

Verlag

Springer

Seitenzahl

249

Maße (L/B/H)

23.5/15.5/1.5 cm

Gewicht

400 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-57760-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Trends in Functional Programming
  • Produktbild: Trends in Functional Programming
  • Domain-specific languages.- PaSe: An Extensible and Inspectable DSL for Micro-Animations.- BinderAnn: Automated Rei cation of Source Annotations for Monadic EDSLs.- Generating next step hints for task oriented programs using symbolic execution.- Debugging and testing.- Scaling Up Delta Debugging of Type Errors.- Flexible Formality: Practical Experience with Agile Formal Methods.- White-Box Path Generation in Recursive Programs.- Reasoning and effects.- A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.- One-shot Algebraic Effects as Coroutines.- An equational modeling of asynchronous concurrent programming.- State will do.- Parallelism.- Placement Strategies: Structured Skeleton Composition with Location-Aware Remote Data.