2008, ISBN: 9783642046520
This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008. The book pr… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures - neues Buch
2008, ISBN: 9783642046520
Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, … Mehr…
hive.co.uk No. 9783642046520. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures - neues Buch
2008, ISBN: 9783642046520
Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, … Mehr…
hive.co.uk No. 9783642046520. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2008, ISBN: 9783642046520
Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, … Mehr…
ebooks.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
2009, ISBN: 9783642046520
6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg,… Mehr…
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 0.00) Details... |
2008, ISBN: 9783642046520
This tutorial book presents seven carefully revised lectures given at the 6th International School on Functional Programming, AFP 2008, in Heijen, The Netherlands in May 2008. The book pr… Mehr…
Dominique Chapelle:
Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures - neues Buch2008, ISBN: 9783642046520
Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, … Mehr…
Advanced Functional Programming : 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures - neues Buch
2008
ISBN: 9783642046520
Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, … Mehr…
2008, ISBN: 9783642046520
Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, … Mehr…
2009, ISBN: 9783642046520
6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg,… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Advanced Functional Programming
EAN (ISBN-13): 9783642046520
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-04-19T00:21:25+02:00 (Zurich)
Detailseite zuletzt geändert am 2022-11-07T05:48:00+01:00 (Zurich)
ISBN/EAN: 9783642046520
ISBN - alternative Schreibweisen:
978-3-642-04652-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: koopman, chapelle
Daten vom Verlag:
Autor/in: Pieter Koopman; Doaitse Swierstra
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Advanced Functional Programming - 6th International School, AFP 2008, Heijen, The Netherlands, May 19-24, 2008, Revised Lectures
Verlag: Springer; Springer Berlin
331 Seiten
Erscheinungsjahr: 2009-09-29
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XVI, 331 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Agda; Dyck words; Haskell; ML; functional programming; generic programming; lambda calculus; lambda terms; normalization; programming; reduction semantics; requirements engineering; software engineering; spider spinning; algorithm analysis and problem complexity; C; Theory of Computation; Programming Techniques; Compilers and Interpreters; Software Engineering; Algorithms; Formal Languages and Automata Theory; Computer Science; Computerprogrammierung und Softwareentwicklung; Compiler und Übersetzer; Software Engineering; Algorithmen und Datenstrukturen; BC
Self-adjusting Computation with Delta ML.- Spider Spinning for Dummies.- From Reduction-Based to Reduction-Free Normalization.- Libraries for Generic Programming in Haskell.- Dependently Typed Programming in Agda.- A Tutorial on Parallel and Concurrent Programming in Haskell.- An iTask Case Study: A Conference Management System.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540485063 Advanced Functional Programming (S. Doaitse Swierstra; Pedro R. Henriques; Jose N. Oliveira)
< zum Archiv...