𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || Inductively defined types

✍ Scribed by Martin-Löf, Per; Mints, Grigori

Book ID
111920879
Publisher
Springer Berlin Heidelberg
Year
1990
Weight
1011 KB
Category
Article
ISBN
354046963X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Soft
[Lecture Notes in Computer Science] Software Architecture Volume 5292 || Managing Dynamic Evolution of Architectural Types
✍ Morrison, Ron; Balasubramaniam, Dharini; Falkner, Katrina 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 275 KB

The European Conference on Software Architecture (ECSA) is the premier European conference dedicated to the field of software architecture, covering all architectural features of software engineering. It is the follow-up of a successful series of European workshops on software architecture held in t