more type signatures; careful treatment of FactBAse
authorNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 04:10:01 +0000 (00:10 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 04:10:01 +0000 (00:10 -0400)
commit6890238f74d169c8cce589c94284df9aa543ca92
tree5d4fb2a702a9d4e5a26f3a24561ebab9064b5398
parent9a079e0f5255027b4167ae8b6f3be61a93ace088
more type signatures; careful treatment of FactBAse
paper/dfopt.tex