✦ 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
DOI: 10.1007/978-3-642-17685-2_8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 5563 || Foundations for Bidirectional Programming

✍ Paige, Richard F. 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 65 KB

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 1158 || Conservativity of equality reflection over intensional type theory

✍ Berardi, Stefano; Coppo, Mario 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 767 KB