✦ LIBER ✦

[Lecture Notes in Computer Science] Advanced Functional Programming Volume 5832 || Dependently Typed Programming in Agda

✍ Scribed by Koopman, Pieter; Plasmeijer, Rinus; Swierstra, Doaitse

Book ID: 121440829
Publisher: Springer Berlin Heidelberg
Year: 2009
Tongue: English
Weight: 298 KB
Edition: 1
Category: Article
ISBN: 3642046525
DOI: 10.1007/978-3-642-04652-0_5

No coin nor oath required. For personal study only.

✦ Synopsis

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, spider spinning, reduction-based normalization and Haskell programming.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Funt

[Lecture Notes in Computer Science] Funtional Programming Languages in Education Volume 1022 || Elementary strong functional programming

✍ Hartel, Pieter H.; Plasmeijer, Rinus 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 654 KB

[Lecture Notes in Computer Science] Gene

[Lecture Notes in Computer Science] Genetic Programming Volume 1802 || Cartesian Genetic Programming

✍ Poli, Riccardo; Banzhaf, Wolfgang; Langdon, William B.; Miller, Julian; Nordin, 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 765 KB

[Lecture Notes in Computer Science] Funt

[Lecture Notes in Computer Science] Funtional Programming Languages in Education Volume 1022 || Functional programming and mathematical objects

✍ Hartel, Pieter H.; Plasmeijer, Rinus 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 949 KB

[Lecture Notes in Computer Science] Cent

[Lecture Notes in Computer Science] Central European Functional Programming School Volume 4164 || The Essence of Dataflow Programming

✍ Horváth, Zoltán 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 497 KB

[Lecture Notes in Computer Science] Cent

[Lecture Notes in Computer Science] Central European Functional Programming School Volume 7241 || Parallel and Concurrent Programming in Haskell

✍ Zsók, Viktória; Horváth, Zoltán; Plasmeijer, Rinus 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 1018 KB

This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based

[Lecture Notes in Computer Science] Gene

[Lecture Notes in Computer Science] Genetic Programming Volume 3003 || Genetic Programming Applied to Mixed Integer Programming

✍ Keijzer, Maarten; O’Reilly, Una-May; Lucas, Simon; Costa, Ernesto; Soule, Terenc 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 151 KB

This Book Constitutes The Refereed Proceedings Of The 7th European Conference On Genetic Programming, Eurogp 2004, Held In Coimbra, Portugal, In April 2004. The 38 Revised Papers Presented Were Carefully Reviewed And Selected From 61 Submissions. The Papers Deal With A Variety Of Foundational And Me