✦ LIBER ✦

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2028 || Encoding Intensional Type Analysis

✍ Scribed by Sands, David

Book ID: 115536816
Publisher: Springer Berlin Heidelberg
Year: 2001
Weight: 197 KB
Category: Article
ISBN: 3540418628
DOI: 10.1007/3-540-45309-1_7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 6012 || Testing Polymorphic Properties

✍ 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

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 5126 || STORMED Hybrid Systems

✍ Aceto, Luca; Damgård, Ivan; Goldberg, Leslie Ann; Halldórsson, Magnús M.; Ingólf 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 469 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 172 || Languages and inverse semigroups

✍ Paredaens, Jan 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 539 KB

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 2986 || Functors for Proofs and Programs

✍ Schmidt, David 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 164 KB

This Volume Contains The 28 Papers Presented At Esop 2004, The 13th European Symposium On Programming, Which Took Place In Barcelona, Spain, March 29– 31, 2004. The Esop Series Began In 1986 With The Goal Of Bridging The Gap Between Theory And Practice, And The Conferences Continue To Be Devoted To

[Lecture Notes in Computer Science] Prog

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 7211 || Reasoning about Multi-stage Programs

✍ Seidl, Helmut 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 305 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 3580 || Congruences for Visibly Pushdown Languages

✍ 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