Muutke küpsiste eelistusi

Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers 2018 ed. [Pehme köide]

Edited by , Edited by
  • Formaat: Paperback / softback, 149 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 48 Illustrations, black and white; VII, 149 p. 48 illus., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 10788
  • Ilmumisaeg: 19-Apr-2018
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319897187
  • ISBN-13: 9783319897189
Teised raamatud teemal:
  • Pehme köide
  • Hind: 41,29 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 48,58 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers 2018 ed.Suurem pilt
  • Formaat: Paperback / softback, 149 pages, kõrgus x laius: 235x155 mm, kaal: 454 g, 48 Illustrations, black and white; VII, 149 p. 48 illus., 1 Paperback / softback
  • Sari: Theoretical Computer Science and General Issues 10788
  • Ilmumisaeg: 19-Apr-2018
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319897187
  • ISBN-13: 9783319897189
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319897189.html
Märksõnad:
This book constitutes the thoroughly refereed revised selected papers of the 18th International Symposium on Trends in Functional Programming, TFP 2017, held in Canterbury, UK, in June 2017. The 8 revised full papers were selected from 16 submissions and present papers in all aspects of functional programming, taking a broad view of current and future trends in the area.

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.

?