A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt. A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. In PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007. pages 80-90, 2007. [doi]

Identified as J. Nathan Foster Identified as Benjamin C. Pierce This author has not been identified. Look up 'Alan Schmitt' in Google

runs on WebDSL