Browse Wiki & Semantic Web

	This page has no properties.

	No properties link to this page.

https://dblp.org/rec/conf/planX/FosterPS07

https://dblp.org/rdf/schema#authoredBy	https://dblp.org/pid/15/3253 + , https://dblp.org/pid/p/BenjaminCPierce + , https://dblp.org/pid/36/5932 +
https://dblp.org/rdf/schema#bibtexType	http://purl.org/net/nknouf/ns/bibtex#Inproceedings +
https://dblp.org/rdf/schema#documentPage	http://www.plan-x-2007.org/plan-x-2007.pdf +
https://dblp.org/rdf/schema#listedOnTocPage	https://dblp.org/db/conf/planx/planX2007 +
https://dblp.org/rdf/schema#numberOfCreators	3
https://dblp.org/rdf/schema#pagination	80-90
https://dblp.org/rdf/schema#primaryDocumentPage	http://www.plan-x-2007.org/plan-x-2007.pdf +
https://dblp.org/rdf/schema#publishedAsPartOf	https://dblp.org/rec/conf/planX/2007 +
https://dblp.org/rdf/schema#publishedIn	PLAN-X
https://dblp.org/rdf/schema#publishedInBook	PLAN-X
https://dblp.org/rdf/schema#title	A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice.
https://dblp.org/rdf/schema#yearOfEvent	2007
https://dblp.org/rdf/schema#yearOfPublication	2007
rdf:type	https://dblp.org/rdf/schema#Publication + , https://dblp.org/rdf/schema#Inproceedings +
rdfs:label	J. Nathan Foster et al.: A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. (2007)

	This page has no properties.

Navigation menu