source:
Papers/polymorphic-variants-2012
@
2416
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
polymorphic-variants.bib | 682 bytes | 2416 | 8 years | Some more minor changes | |
polymorphic-variants.tex | 8.1 KB | 2416 | 8 years | Some more minor changes | |
spbasic.bst | 32.5 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
spmpsci.bst | 29.4 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
spphys.bst | 27.9 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
svglov3.clo | 3.7 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
svjour3.cls | 46.6 KB | 2396 | 8 years | Polymorphic variants paper skeleton | |
test3.ma | 5.0 KB | 2411 | 8 years | Extensible records implemented via option type. One axiom left. | |
test.ma | 5.5 KB | 2406 | 8 years | Elimination principle committed. |
Note: See TracBrowser
for help on using the repository browser.