✦ LIBER ✦

Type system in programming languages

✍ Scribed by Hui Jiang; Dong Lin; Xingyuan Zhang; Xiren Xie

Publisher: Springer
Year: 2001
Tongue: English
Weight: 529 KB
Volume: 16
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02943207

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Working conference on programming langua

Working conference on programming languages and system design

📂 Article 📅 1983 🏛 Elsevier Science ⚖ 114 KB

Expert tutoring system for teaching comp

Expert tutoring system for teaching computer programming languages

✍ M.M El-Khouly; B.H Far; Z Koono 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 344 KB

Types in a mixed language system

✍ Ph. Darondeau; P. Le Guernic; M. Raynal 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 452 KB

Concurrency in programming languages: A

Concurrency in programming languages: A survey

✍ Carlo Ghezzi 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 766 KB

Arrays in pure functional programming la

Arrays in pure functional programming languages

✍ Grue, Klaus E. 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 512 KB

Explicit programming languages in indust

Explicit programming languages in industrial robots

✍ Giuseppina Gini; Maria Gini 📂 Article 📅 1983 🏛 Society of Manufacturing Engineers 🌐 English ⚖ 606 KB

This paper discusses issues of design for software systems for cohaputer controlled manipulators. A short review of the features which have become important in present software systems for industrial applications is presented, including how various desirable system capabilities can be introduced at