Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/planX/FosterPS07
AU - Foster, J. Nathan
AU - Pierce, Benjamin C.
AU - Schmitt, Alan
TI - A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
BT - PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007
SP - 80
EP - 90
PY - 2007//
UR - http://www.plan-x-2007.org/plan-x-2007.pdf
ER -
