✦ LIBER ✦

Preface: Volume 30, Issue 3

✍ Scribed by Ines Dutra; Vítor Santos Costa; Gopal Gupta; Enrico Pontelli; Manuel Carro; Peter Kacsuk

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 40 KB
Volume: 30
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80113-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface: Volume 30, Issue 1

✍ Sandro Etalle; Jan-Georg Smaus 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 38 KB

Preface: Volume 30, Issue 2

✍ Michael Leuschel 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 47 KB

The aim of this workshop was to provide a forum where new trends, ideas and developments concerning the optimization and implementation of declarative languages could be discussed. It was especially geared towards bringing researchers from low-level compilation and high-level optimization together.

Preface: Volume 30, Issue 4

✍ Mireille Ducassé; Anthony Kusalik; German Puebla 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 31 KB

Preface: Volume 41, Issue 3

✍ Alan Jeffrey 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 41 KB

Preface: Volume 82, Issue 3

✍ Barrett Bryant; João Saraiva 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 48 KB

Preface: Volume 3, Issue 1

✍ Jean-Yves Girard; Mitsuhiro Okada; Andre Scedrov 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 33 KB

The field of linear logic has developed very rapidly during the last ten years. Linear logic is now one of the most active research areas in Logic and in Theoretical Computer Science. The Linear Logic 96 Tokyo Meeting provided a forum for an exchange of research results and a discussion of the futur