papers/

added

papers/modulespaper/

added

papers/modulespaper/applyfct/

added

papers/modulespaper/applyfct/ex2/

added

papers/modulespaper/applyfct/ex2/K.ml

added

papers/modulespaper/applyfct/ex2/Makefile

added

papers/modulespaper/applyfct/ex2/S.ml

added

papers/modulespaper/applyfct/ex2/all.ml

added

papers/modulespaper/applyfct/ex2/c.ml

added

papers/modulespaper/applyfct/ex2/d.ml

added

papers/modulespaper/applyfct/ex2/main.ml

added

papers/modulespaper/applyfct/ex3/

added

papers/modulespaper/applyfct/ex3/m.ml

added

papers/modulespaper/applyfct/ex4/

added

papers/modulespaper/applyfct/ex4/apply.ml

added

papers/modulespaper/applyfct/ex4/fct.ml

added

papers/modulespaper/applyfct/ex5/

added

papers/modulespaper/applyfct/ex5/apply.cmi

added

papers/modulespaper/applyfct/ex5/apply.cmo

added

papers/modulespaper/applyfct/ex5/apply.ml

added

papers/modulespaper/applyfct/ex5/f.cmi

added

papers/modulespaper/applyfct/ex5/f.ml

added

papers/modulespaper/applyfct/f1.ml

added

papers/modulespaper/applyfct/f2.ml

added

papers/modulespaper/applyfct/mosml/

added

papers/modulespaper/applyfct/mosml/setfn.sig

added

papers/modulespaper/applyfct/mosml/setfn.sml

added

papers/modulespaper/applyfct/r.ml

added

papers/modulespaper/applyfct/s.ml

added

papers/modulespaper/design/

added

papers/modulespaper/design/abstract.txt

added

papers/modulespaper/design/aux/

added

papers/modulespaper/design/aux/bussproofs.sty

added

papers/modulespaper/design/aux/code.sty

added

papers/modulespaper/design/aux/code.tex

added

papers/modulespaper/design/aux/defs.tex

added

papers/modulespaper/design/aux/mac.tex

added

papers/modulespaper/design/aux/mathcmds.sty

added

papers/modulespaper/design/aux/mathenvs.sty

added

papers/modulespaper/design/aux/proof.sty

added

papers/modulespaper/design/figs/

added

papers/modulespaper/design/figs/appandtruetypeprogvenn.graffle

added

papers/modulespaper/design/figs/appandtruetypeprogvenn.pdf

added

papers/modulespaper/design/figs/figannotated.tex

added

papers/modulespaper/design/figs/figelabmod.tex

added

papers/modulespaper/design/figs/figelabsig.tex

added

papers/modulespaper/design/figs/figelabtyc.tex

added

papers/modulespaper/design/figs/figentdec.tex

added

papers/modulespaper/design/figs/figentities.tex

added

papers/modulespaper/design/figs/figentsems.tex

added

papers/modulespaper/design/figs/figevalfctent.tex

added

papers/modulespaper/design/figs/figextractsig.tex

added

papers/modulespaper/design/figs/figilmod.tex

added

papers/modulespaper/design/figs/figmodlang.tex

added

papers/modulespaper/design/figs/fignjmod.tex

added

papers/modulespaper/design/figs/fignrc.tex

added

papers/modulespaper/design/figs/figsemanticobjs.tex

added

papers/modulespaper/design/figs/figsemtypesystem.tex

added

papers/modulespaper/design/figs/figsrc.tex

added

papers/modulespaper/design/figs/figstatsem.tex

added

papers/modulespaper/design/figs/figtgc.tex

added

papers/modulespaper/design/figs/figtyceval.tex

added

papers/modulespaper/design/figs/figtypesystem.tex

added

papers/modulespaper/design/figs/modsysspectrum.graffle

added

papers/modulespaper/design/figs/modsysspectrum.pdf

added

papers/modulespaper/design/main.tex

added

papers/modulespaper/design/modules.bib

added

papers/modulespaper/design/polymorphism.bib

added

papers/modulespaper/design/primarycomp.tex

added

papers/modulespaper/design/principles.tex

added

papers/modulespaper/design/siglang.tex

added

papers/modulespaper/design/sigplanconf.cls

added

papers/modulespaper/design/syntax.tex

added

papers/modulespaper/dissertation/

added

papers/modulespaper/dissertation/Makefile

added

papers/modulespaper/dissertation/README

added

papers/modulespaper/dissertation/TODO

added

papers/modulespaper/dissertation/_region_.tex

added

papers/modulespaper/dissertation/apj.bst

added

papers/modulespaper/dissertation/architecting.tex

added

papers/modulespaper/dissertation/background.tex

added

papers/modulespaper/dissertation/bh_abstract.tex

added

papers/modulespaper/dissertation/ccw_chithesis.cls

added

papers/modulespaper/dissertation/conclusion.tex

added

papers/modulespaper/dissertation/config.tex

added

papers/modulespaper/dissertation/deadlines.txt

added

papers/modulespaper/dissertation/defense/

added

papers/modulespaper/dissertation/defense/defense.aux

added

papers/modulespaper/dissertation/defense/defense.pdf

added

papers/modulespaper/dissertation/defense/defense.tex

added

papers/modulespaper/dissertation/defense/defense.toc

added

papers/modulespaper/dissertation/defense/defense.vrb

added

papers/modulespaper/dissertation/defining.tex

added

papers/modulespaper/dissertation/elaborationproofs.tex

added

papers/modulespaper/dissertation/entitycalc.tex

added

papers/modulespaper/dissertation/entitysemantics.tex

added

papers/modulespaper/dissertation/figs/

added

papers/modulespaper/dissertation/figs/appandtruetypeprogvenn.pdf

added

papers/modulespaper/dissertation/figs/figannotated.tex

added

papers/modulespaper/dissertation/figs/figfctapp.tex

added

papers/modulespaper/dissertation/figs/figfctelab.tex

added

papers/modulespaper/dissertation/figs/figfomegakinding.tex

added

papers/modulespaper/dissertation/figs/figfomegatypesystem.tex

added

papers/modulespaper/dissertation/figs/figfomega.tex

added

papers/modulespaper/dissertation/figs/figfsgelab.tex

added

papers/modulespaper/dissertation/figs/figfsgmtch.tex

added

papers/modulespaper/dissertation/figs/figheadreduce.tex

added

papers/modulespaper/dissertation/figs/figinst.tex

added

papers/modulespaper/dissertation/figs/figmicroml.tex

added

papers/modulespaper/dissertation/figs/figreltypesystem.tex

added

papers/modulespaper/dissertation/figs/figrelativizesig.tex

added

papers/modulespaper/dissertation/figs/figrelativize.tex

added

papers/modulespaper/dissertation/figs/figrelativizedwellkinding.tex

added

papers/modulespaper/dissertation/figs/figsemobj.tex

added

papers/modulespaper/dissertation/figs/figsemtypesystem.tex

added

papers/modulespaper/dissertation/figs/figstaticenvsigs.graffle

added

papers/modulespaper/dissertation/figs/figstaticenvsigs.pdf

added

papers/modulespaper/dissertation/figs/figstrsigmtch.tex

added

papers/modulespaper/dissertation/figs/figstrsigmtch0.tex

added

papers/modulespaper/dissertation/figs/figtoplevel.tex

added

papers/modulespaper/dissertation/figs/figtycequiv.tex

added

papers/modulespaper/dissertation/figs/figtyceval.tex

added

papers/modulespaper/dissertation/figs/figtycred.tex

added

papers/modulespaper/dissertation/figs/figtypeelab.tex

added

papers/modulespaper/dissertation/figs/figtypesystem.tex

added

papers/modulespaper/dissertation/figs/figwellkindingsemantic.tex

added

papers/modulespaper/dissertation/figs/figwellkinding.tex

added

papers/modulespaper/dissertation/figs/figxlateentdec.tex

added

papers/modulespaper/dissertation/figs/figxlateenv.tex

added

papers/modulespaper/dissertation/figs/figxlatesig.tex

added

papers/modulespaper/dissertation/figs/figxlate.tex

added

papers/modulespaper/dissertation/figs/higherorderfunctorsexamples.sml

added

papers/modulespaper/dissertation/figs/overview.graffle

added

papers/modulespaper/dissertation/figs/overview.pdf

added

papers/modulespaper/dissertation/figure.tex

added

papers/modulespaper/dissertation/formalsys.aux

added

papers/modulespaper/dissertation/formalsys.pdf

added

papers/modulespaper/dissertation/formalsys.tex

added

papers/modulespaper/dissertation/ftgf.tex

added

papers/modulespaper/dissertation/futurework.tex

added

papers/modulespaper/dissertation/generativity.tex

added

papers/modulespaper/dissertation/hofct.tex

added

papers/modulespaper/dissertation/ideasfordissertation.txt

added

papers/modulespaper/dissertation/impl.tex

added

papers/modulespaper/dissertation/inexplicitness.tex

added

papers/modulespaper/dissertation/intro.tex

added

papers/modulespaper/dissertation/kuandissertation.pdf

added

papers/modulespaper/dissertation/main.tex

added

papers/modulespaper/dissertation/metatheoreticwrapper.tex

added

papers/modulespaper/dissertation/metatheoretic.tex

added

papers/modulespaper/dissertation/modlang.tex

added

papers/modulespaper/dissertation/notationindex.tex

added

papers/modulespaper/dissertation/notes

added

papers/modulespaper/dissertation/proposal/

added

papers/modulespaper/dissertation/proposal/comments

added

papers/modulespaper/dissertation/proposal/dissertationproposal.aux

added

papers/modulespaper/dissertation/proposal/dissertationproposal.pdf

added

papers/modulespaper/dissertation/proposal/dissertationproposal.tex

added

papers/modulespaper/dissertation/proposal/proposaloutline.tex

added

papers/modulespaper/dissertation/proposal/slides/

added

papers/modulespaper/dissertation/proposal/slides/candidacy.aux

added

papers/modulespaper/dissertation/proposal/slides/candidacy.pdf

added

papers/modulespaper/dissertation/proposal/slides/candidacy.tex

added

papers/modulespaper/dissertation/proposal/slides/candidacy.toc

added

papers/modulespaper/dissertation/proposal/slides/candidacy.vrb

added

papers/modulespaper/dissertation/proposalstructure.txt

added

papers/modulespaper/dissertation/related.tex

added

papers/modulespaper/dissertation/sepcomp.tex

added

papers/modulespaper/dissertation/smlnjsem.tex

added

papers/modulespaper/dissertation/table.tex

added

papers/modulespaper/dissertation/template.tex

added

papers/modulespaper/dissertation/translation.tex

added

papers/modulespaper/dissertation/typesystem.tex

added

papers/modulespaper/notes/

added

papers/modulespaper/notes/TMwFSS.txt

added

papers/modulespaper/notes/features.txt

added

papers/modulespaper/notes/intro.txt

added

papers/modulespaper/notes/issues.txt

added

papers/modulespaper/notes/outline.txt

added
