Containment defines a class of recursive data structures
Autor: | Rhys S. Francis |
---|---|
Rok vydání: | 1983 |
Předmět: | |
Zdroj: | ACM SIGPLAN Notices. 18:58-64 |
ISSN: | 1558-1160 0362-1340 |
DOI: | 10.1145/948176.948180 |
Databáze: | OpenAIRE |
Externí odkaz: |