../ MakefileCreated papers directory14 years ago acmtrans.bstCreated papers directory14 years ago acmtrans2m.clsCreated papers directory14 years ago comments.styCreated papers directory14 years ago compiling.texCreated papers directory14 years ago conclusions.texFinished proof-reading implementation paper13 years ago delab.texFinal (I hope!) implementation paper tinkering13 years ago elaboration.texFinished proof-reading implementation paper13 years ago hll.texFinished proof-reading implementation paper13 years ago impldtp.texFinal (I hope!) implementation paper tinkering13 years ago intro.texFinal (I hope!) implementation paper tinkering13 years ago jfp.bstCreated papers directory14 years ago jfp1.clsCreated papers directory14 years ago library.bibMore minor impl-paper edits and typo fixes13 years ago library.ltxSwitch Vect arguments in implementation paper13 years ago literature.bibCreated papers directory14 years ago macros.ltxSome paper updates, getting final version ready13 years ago overview.texCreated papers directory14 years ago proofstate.texCreated papers directory14 years ago syntax.texCreated papers directory14 years ago typechecking.texFinal (I hope!) implementation paper tinkering13 years ago