source: Papers/polymorphic-variants-2012 @ 3305

Name Size Rev Age Author Last Change
../
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
polymorphic-variants.bib 682 bytes 2416   7 years mulligan Some more minor changes
prooftree.sty 12.3 KB 2424   7 years mulligan Changes to the file including making a start on incorporating …
ASM.ma 32.5 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
test2.ma 6.4 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
test3.ma 4.1 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
testb.ma 1.7 KB 2514   7 years sacerdot All .ma files committed: some of them are just in-progress.
lst-grafite.tex 4.3 KB 2519   7 years mulligan To prevent conflicts
test.ma 1.1 KB 2520   7 years sacerdot Now it is nice!
infrastructure.ma 2.8 KB 2522   7 years sacerdot Generic stuff moved to infrastructure.
variants.ma 3.4 KB 2522   7 years sacerdot Generic stuff moved to infrastructure.
polymorphic-variants.tex 33.6 KB 2542   7 years mulligan Trying an Agda port of the polymorphic variants implementation to see …
Variants.agda 11.7 KB 2550   7 years mulligan Some new ideas that lead to non-termination…
Variants2.agda 2.5 KB 2552   7 years mulligan Some different ideas, don't seem to be working out well.
Note: See TracBrowser for help on using the repository browser.