✦ LIBER ✦

Towards a declarative semantics of inheritance with exceptions

✍ Scribed by Dianxiang Xu; Guoliang Zheng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Functional semantics of programs with ex

✍ Jean-Chrysostome Bolot; Pankaj Jalote 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 964 KB

Semantics of a declarative language

✍ G. Mints; E. Tyugu 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 284 KB

Toward a declarative semantics for infin

✍ William G. Golson 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 998 KB

A Denotational Semantics of Inheritance

✍ W. Cook; J. Palsberg 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 776 KB

Static Type Inference for a First-Order

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

Towards a theory of mathematical operati

✍ John Power 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 167 KB