𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Horváth, Zoltán; Plasmeijer, Rinus; Zsók, Viktória


Book ID
115547099
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
541 KB
Category
Article
ISBN
3642176852

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Cent
✍ 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