source: Papers/polymorphic-variants-2012 @ 2409

Name Size Rev Age Author Last Change
../
polymorphic-variants.tex 5.5 KB 2409   7 years mulligan Some text about algebraic data types and their limitations. Needs to …
spbasic.bst 32.5 KB 2396   7 years mulligan Polymorphic variants paper skeleton
spmpsci.bst 29.4 KB 2396   7 years mulligan Polymorphic variants paper skeleton
spphys.bst 27.9 KB 2396   7 years mulligan Polymorphic variants paper skeleton
svglov3.clo 3.7 KB 2396   7 years mulligan Polymorphic variants paper skeleton
svjour3.cls 46.6 KB 2396   7 years mulligan Polymorphic variants paper skeleton
test.ma 5.5 KB 2406   7 years sacerdot Elimination principle committed.
Note: See TracBrowser for help on using the repository browser.