✦ LIBER ✦

Type inference for record concatenation and multiple inheritance

✍ Scribed by Mitchell Wand

Book ID: 113383987
Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 778 KB
Volume: 93
Category: Article
ISSN: 0890-5401
DOI: 10.1016/0890-5401(91)90050-c

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type inference for record concatenation

Type inference for record concatenation and subtyping

✍ Jens Palsberg; Tian Zhao 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Nonmonotonic inference rules for multipl

Nonmonotonic inference rules for multiple inheritance with exceptions

✍ Sandewall, E. 📂 Article 📅 1986 🏛 IEEE 🌐 English ⚖ 670 KB

Static Type Inference for a First-Order

Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance

✍ REBECCA WALPOLE DJANG; MARGARET M. BURNETT; ROGER D. CHEN 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 927 KB

Convergence Analysis and Optimal Schedul

Convergence Analysis and Optimal Scheduling for Multiple Concatenated Codes

✍ Brannstrom, F.; Rasmussen, L.K.; Grant, A.J. 📂 Article 📅 2005 🏛 IEEE 🌐 English ⚖ 550 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

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