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

[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] Cent

[Lecture Notes in Computer Science] Central European Functional Programming School Volume 6299 || Programming in Manticore, a Heterogenous Parallel Functional Language

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

This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in

[Lecture Notes in Computer Science] Cent

[Lecture Notes in Computer Science] Central European Functional Programming School Volume 7241 || Some New Approaches in Functional Programming Based on Categories

✍ Zsók, Viktória; Horváth, Zoltán; Plasmeijer, Rinus 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 226 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] Cent

[Lecture Notes in Computer Science] Central European Functional Programming School Volume 6299 || Types for Units-of-Measure: Theory and Practice

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

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and System Architectures Volume 782 || On the essence of Oberon

✍ Gutknecht, Jürg 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 921 KB

[Lecture Notes in Computer Science] Indu

[Lecture Notes in Computer Science] Inductive Synthesis of Functional Programs Volume 2654 || 6. Automatic Programming

✍ Schmid, Ute 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 630 KB