✦ LIBER ✦

Report on functional programming languages

Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 87 KB
Volume: 31
Category: Article
ISSN: 0950-5849
DOI: 10.1016/0950-5849(89)90100-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arrays in pure functional programming la

Arrays in pure functional programming languages

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

Inductively defined functions in functio

Inductively defined functions in functional programming languages

✍ R.M. Burstall 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 646 KB

A new programming technique for lazy fun

A new programming technique for lazy functional languages

✍ F.A. van Gilst; P.M. van den Broek 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 995 KB

Report on the Algorithmic Language ALGOL

Report on the Algorithmic Language ALGOL the ACM committee on programming languages and the GAMM committee on programming

✍ A. J. Perlis; K. Samelson 📂 Article 📅 1959 🏛 Springer-Verlag 🌐 English ⚖ 983 KB

Functional programming languages for ver

Functional programming languages for verification tools: a comparison of StandardMLandHaskell

✍ Martin Leucker; Thomas Noll; Perdita Stevens; Michael Weber 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 222 KB

Subrecursive programming languages II on

Subrecursive programming languages II on program size

✍ Robert L. Constable 📂 Article 📅 1971 🏛 Elsevier Science 🌐 English ⚖ 983 KB

Programming languages which express programs for all computable (recursive) functions are called universal, those expressing programs only for a subset are called subrecursive programming languages, SPL's. M. Blum has shown that for certain SPL's any universal programming language (UPL) contains pro