../ 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.texSome progress on implementation paper revisions14 years ago delab.texCreated papers directory14 years ago elaboration.texMagic with explanation in impl-paper14 years ago hll.texSmall library tweaks and documentation update14 years ago impldtp.texFix compile error14 years ago intro.texSome progress on implementation paper revisions14 years ago jfp.bstCreated papers directory14 years ago jfp1.clsCreated papers directory14 years ago library.bibSome progress on implementation paper revisions14 years ago library.ltxCreated papers directory14 years ago literature.bibCreated papers directory14 years ago macros.ltxSome progress on implementation paper revisions14 years ago overview.texCreated papers directory14 years ago proofstate.texCreated papers directory14 years ago syntax.texCreated papers directory14 years ago typechecking.texSome progress on implementation paper revisions14 years ago