Sciweavers

21984 search results - page 334 / 4397
» C
Sort
View
PLANX
2007
15 years 8 months ago
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt