✦ LIBER ✦

Type inference for record concatenation and subtyping

✍ Scribed by Jens Palsberg; Tian Zhao

Book ID: 113641493
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 332 KB
Volume: 189
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2003.10.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type inference for record concatenation

Type inference for record concatenation and multiple inheritance

✍ Mitchell Wand 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 778 KB

On reverse concatenation and soft decodi

On reverse concatenation and soft decoding algorithms for PRML magnetic recording channels

✍ Reggiani, L.; Tartara, G. 📂 Article 📅 2001 🏛 IEEE 🌐 English ⚖ 138 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

Type inference and type checking for que

Type inference and type checking for queries over execution traces

✍ Daniel Deutch; Tova Milo 📂 Article 📅 2011 🏛 Springer-Verlag 🌐 English ⚖ 783 KB

Principality and type inference for inte

Principality and type inference for intersection types using expansion variables

✍ A.J. Kfoury; J.B. Wells 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 708 KB

Bayesian inference for a Lanchester type

Bayesian inference for a Lanchester type combat model

✍ M.P. Wiper; L.I. Pettit; K.D.S. Young 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 164 KB 👁 1 views