Login / Signup
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
J. Nathan Foster
Benjamin C. Pierce
Alan Schmitt
Published in:
PLAN-X (2007)
Keyphrases
</>
unordered trees
tree structure
modal logic
tree patterns
computational properties
database
real world
classical logic
labeled trees
database systems
search algorithm
tree structures
tree nodes