Manipulating Trees with Hidden Labels
Authors
- Luca Cardelli
- Philippa Gardner
- Giorgio Ghelli
Abstract
We define an operational semantics and a type system for manipulating semistructured data that contains hidden information. The data model is simple labeled trees with a hiding operator. Data manipulation is based on pattern matching, with types that track the use of hidden labels.
Venue
Electronic Notes in Theoretical Computer Science, vol. 172, pp. 177–201
Publication Date
Apr 2007