✦ LIBER ✦

Inductively defined functions in functional programming languages

✍ Scribed by R.M. Burstall

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Arrays in pure functional programming la

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

Programming recursively defined function

✍ A. J. Guttmann 📂 Article 📅 1976 🏛 Springer 🌐 English ⚖ 440 KB

Report on functional programming languag

📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 87 KB

Inductive definability in formal languag

✍ P.F. Schuler 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 690 KB

Pattern matching compilation of function

✍ Haiming Chen; Yunmei Dong 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 537 KB

A new programming technique for lazy fun

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