Author:
Connelly Richard H.,Morris F. Lockwood
Abstract
Tries, a form of string-indexed look-up structure, are generalized, in a manner first discovered by Wadsworth, to permit indexing by terms built according to an arbitrary signature. The construction is parametric with respect to the type of data to be stored as values; this is essential, because the recursion that defines tries appeals from one value type to others. ‘Trie’ (for any fixed signature) is then a functor, and the corresponding look-up function is a natural isomorphism.The trie functor is in principle definable by the ‘initial fixed point’ semantics of Smyth and Plotkin. We simplify the construction, however, by introducing the ‘category-cpo’, a class of category within which calculations can retain some domain-theoretic flavor. Our construction of tries extends easily to many-sorted signatures.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference16 articles.
1. Using information systems to solve recursive domain equations
2. Type inference with polymorphic recursion
3. Beierle C. (1985) Algebraic Implementations in an Integrated Software Development and Verification System, dissertation, University of Kaiserlautern.
4. Connelly R. H. and Morris F. L. (1993) A Generalization of the Trie Data Structure. Syracuse University School of Computer and Information Science report SU-CIS-93–23.
5. A categorical approach to the theory of lists
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parametric Subtyping for Structural Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05
2. Nested Session Types;ACM Transactions on Programming Languages and Systems;2022-07-15
3. Banking Data Enrichment Pipeline;2022 8th International Conference on Computer Technology Applications;2022-05-12
4. Linked visualisations via Galois dependencies;Proceedings of the ACM on Programming Languages;2022-01-12
5. Symbolic and automatic differentiation of languages;Proceedings of the ACM on Programming Languages;2021-08-22