𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 5502 || Using Category Theory to Design Programming Languages

✍ Scribed by Castagna, Giuseppe


Book ID
120243514
Publisher
Springer Berlin Heidelberg
Year
2009
Weight
48 KB
Category
Article
ISBN
364200590X

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Prog
✍ Gordon, Andrew D. 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 269 KB

Annotation. This Book Constitutes The Refereed Proceedings Of The 19th European Symposium On Programming, Esop 2010, Held In Paphos, Cyprus, In March 2010, As Part Of Etaps 2010, The European Joint Conferences On Theory And Practice Of Software. The 30 Revised Full Papers, Presented Together With Tw

[Lecture Notes in Computer Science] Auto
✍ Caires, Luís; Italiano, Giuseppe F.; Monteiro, Luís; Palamidessi, Catuscia; Yung 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 175 KB

The 32nd International Colloquium On Automata, Languages And Programming (icalp 2005) Was Held In Lisbon, Portugal From July 11 To July 15, 2005. These Proceedings Contain All Contributed Papers Presented At Icalp 2005, - Getherwiththepapersbytheinvitedspeakersgiuseppecastagna(ens),leonid Libkin (to

[Lecture Notes in Computer Science] Modu
✍ Weck, Wolfgang; Gutknecht, Jürg 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 239 KB

Thecircleisclosed.The European Modula-2 Conference was originally launched with the goal of increasing the popularity of Modula-2, a programming language created by Niklaus Wirth and his team at ETH Zuric ¨ h as a successor of Pascal. For more than a decade, the conference has wandered through Europ