Manipulating Trees with Hidden Labels


  • Luca Cardelli
  • Philippa Gardner
  • Giorgio Ghelli


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.


Proceedings of the 6th International Conference on Foundations of Software Science and Computational Structures (FOSSACS’03), pp. 216–232

Publication Date

Apr 2003


Source Materials