✦ LIBER ✦

Polymorphic type-checking in scheme

✍ Scribed by Steven L. Jenkins; Gary T. Leavens

Book ID: 114107561
Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 797 KB
Volume: 22
Category: Article
ISSN: 0096-0551
DOI: 10.1016/s0096-0551(97)00002-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Polymorphic type-checking for the ramifi

Polymorphic type-checking for the ramified theory of types of Principia Mathematica

✍ M.Randall Holmes 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 964 KB

Improved checking scheme for SHF noise g

Improved checking scheme for SHF noise generators

✍ V. V. Oznobishin; G. G. Petrosyan; R. I. Uzdin 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 230 KB

Type-checking in an untyped language

✍ Allan Ramsay 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 620 KB

It is argued that typed variables and functions are inappropriate for languages which allow functional arguments, data types defined by predicates, and conditional expressions that test data types. However, it is still possible to do some compile-time type-checking for such languages. This paper pre

A correspondence between type checking v

A correspondence between type checking via reduction and type checking via evaluation

✍ Ilya Sergey; Dave Clarke 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 159 KB

A Classification Scheme for Polymorphic

A Classification Scheme for Polymorphic Phase Transitions in Ceramics

✍ A. H. HEUER 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 290 KB

Development of a checking scheme in the

Development of a checking scheme in the field of gravimetry

✍ V. V. Dontsov; A. E. Manokhin; V. D. Mikhailenko 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 528 KB