𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Polytypic data conversion programs

✍ Scribed by Patrik Jansson; Johan Jeuring

Book ID
108410767
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
378 KB
Volume
43
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Formal polytypic programs and proofs
Formal polytypic programs and proofs
✍ VERBRUGGEN, WENDY; DE VRIES, EDSKO; HUGHES, ARTHUR πŸ“‚ Article πŸ“… 2010 πŸ› Cambridge University Press 🌐 English βš– 335 KB
Polytypic Programming in Maude
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