✦ LIBER ✦

Type Inference for Pure Type Systems

✍ Scribed by Paula Severi

Book ID: 112252348
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 316 KB
Volume: 143
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1998.2708

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Typing in Pure Type Systems

✍ L.S.V. Jutting 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 386 KB

Modal Pure Type Systems

✍ Tijn Borghuis 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 238 KB

Type Inference for Variant Object Types

✍ Michele Bugliesi; Santiago M. Pericás-Geertsen 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 236 KB

Pure type systems with judgemental equal

Pure type systems with judgemental equality

✍ ADAMS, ROBIN 📂 Article 📅 2005 🏛 Cambridge University Press 🌐 English ⚖ 196 KB

Visual type inference

✍ Martin Erwig 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 723 KB

Type inference and strong static type ch

Type inference and strong static type checking for Promela

✍ Alastair F. Donaldson; Simon J. Gay 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 750 KB

The Spin model checker and its specification language Promela have been used extensively in industry and academia to check the logical properties of distributed algorithms and protocols. Model checking with Spin involves reasoning about a system via an abstract Promela specification, thus the techni