✦ LIBER ✦

Flow-sensitive type systems and the ambient calculus

✍ Scribed by Torben Amtoft

Book ID: 106452390
Publisher: Springer
Year: 2008
Tongue: English
Weight: 607 KB
Volume: 21
Category: Article
ISSN: 1388-3690
DOI: 10.1007/s10990-008-9039-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Types for the Ambient Calculus

✍ Luca Cardelli; Giorgio Ghelli; Andrew D. Gordon 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 245 KB

Ambient Calculus and its Logic in the Ca

Ambient Calculus and its Logic in the Calculus of Inductive Constructions

✍ Ivan Scagnetto; Marino Miculan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 240 KB

Type-based information flow analysis for

Type-based information flow analysis for the π-calculus

✍ Naoki Kobayashi 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 800 KB

A generic type system for the Pi-calculu

A generic type system for the Pi-calculus

✍ Atsushi Igarashi; Naoki Kobayashi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 468 KB

We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial properties like deadlock-freedom and race-freedom. A key idea is to express types and type environments as abstract processes: W

Logical relations and the typed λ-calcul

Logical relations and the typed λ-calculus

✍ R. Statman 📂 Article 📅 1985 🏛 Elsevier Science ⚖ 569 KB

Intersection and Union Types in the -cal

Intersection and Union Types in the -calculus

✍ Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB