𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cannabis— a polytypic genus

✍ Scribed by William A. Emboden


Book ID
112917024
Publisher
Springer-Verlag
Year
1974
Tongue
English
Weight
606 KB
Volume
28
Category
Article
ISSN
0013-0001

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Polytypic Programming in Maude
✍ M. Clavel; F. Durán; N. Martí-Oliet 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 187 KB

The idea of polytypic programming is to write programs that are defined by induction on the structure of user-defined datatypes. In this way, many functions with similar functionalities do not have to be written over and over again for different datatypes. So far, this programming style has been dev

Formal polytypic programs and proofs
✍ VERBRUGGEN, WENDY; DE VRIES, EDSKO; HUGHES, ARTHUR 📂 Article 📅 2010 🏛 Cambridge University Press 🌐 English ⚖ 335 KB