papers/hofsem/

added

papers/hofsem/applyfct/

added

papers/hofsem/applyfct/ex2/

added

papers/hofsem/applyfct/ex2/K.ml

added

papers/hofsem/applyfct/ex2/Makefile

added

papers/hofsem/applyfct/ex2/S.ml

added

papers/hofsem/applyfct/ex2/all.ml

added

papers/hofsem/applyfct/ex2/c.ml

added

papers/hofsem/applyfct/ex2/d.ml

added

papers/hofsem/applyfct/ex2/main.ml

added

papers/hofsem/applyfct/ex3/

added

papers/hofsem/applyfct/ex3/m.ml

added

papers/hofsem/applyfct/ex4/

added

papers/hofsem/applyfct/ex4/apply.ml

added

papers/hofsem/applyfct/ex4/fct.ml

added

papers/hofsem/applyfct/ex5/

added

papers/hofsem/applyfct/ex5/apply.cmi

added

papers/hofsem/applyfct/ex5/apply.cmo

added

papers/hofsem/applyfct/ex5/apply.ml

added

papers/hofsem/applyfct/ex5/f.cmi

added

papers/hofsem/applyfct/ex5/f.ml

added

papers/hofsem/applyfct/f1.ml

added

papers/hofsem/applyfct/f2.ml

added

papers/hofsem/applyfct/mosml/

added

papers/hofsem/applyfct/mosml/setfn.sig

added

papers/hofsem/applyfct/mosml/setfn.sml

added

papers/hofsem/applyfct/r.ml

added

papers/hofsem/applyfct/s.ml

added

papers/hofsem/design/

added

papers/hofsem/design/abstract.txt

added

papers/hofsem/design/aux/

added

papers/hofsem/design/aux/bussproofs.sty

added

papers/hofsem/design/aux/code.sty

added

papers/hofsem/design/aux/code.tex

added

papers/hofsem/design/aux/defs.tex

added

papers/hofsem/design/aux/mac.tex

added

papers/hofsem/design/aux/mathcmds.sty

added

papers/hofsem/design/aux/mathenvs.sty

added

papers/hofsem/design/aux/proof.sty

added

papers/hofsem/design/figs/

added

papers/hofsem/design/figs/appandtruetypeprogvenn.graffle

added

papers/hofsem/design/figs/appandtruetypeprogvenn.pdf

added

papers/hofsem/design/figs/figannotated.tex

added

papers/hofsem/design/figs/figelabmod.tex

added

papers/hofsem/design/figs/figelabsig.tex

added

papers/hofsem/design/figs/figelabtyc.tex

added

papers/hofsem/design/figs/figentdec.tex

added

papers/hofsem/design/figs/figentities.tex

added

papers/hofsem/design/figs/figentsems.tex

added

papers/hofsem/design/figs/figevalfctent.tex

added

papers/hofsem/design/figs/figextractsig.tex

added

papers/hofsem/design/figs/figilmod.tex

added

papers/hofsem/design/figs/figmodlang.tex

added

papers/hofsem/design/figs/fignjmod.tex

added

papers/hofsem/design/figs/fignrc.tex

added

papers/hofsem/design/figs/figsemanticobjs.tex

added

papers/hofsem/design/figs/figsemtypesystem.tex

added

papers/hofsem/design/figs/figsrc.tex

added

papers/hofsem/design/figs/figstatsem.tex

added

papers/hofsem/design/figs/figtgc.tex

added

papers/hofsem/design/figs/figtyceval.tex

added

papers/hofsem/design/figs/figtypesystem.tex

added

papers/hofsem/design/figs/modsysspectrum.graffle

added

papers/hofsem/design/figs/modsysspectrum.pdf

added

papers/hofsem/design/main.tex

added

papers/hofsem/design/modules.bib

added

papers/hofsem/design/polymorphism.bib

added

papers/hofsem/design/primarycomp.tex

added

papers/hofsem/design/principles.tex

added

papers/hofsem/design/siglang.tex

added

papers/hofsem/design/sigplanconf.cls

added

papers/hofsem/design/syntax.tex

added

papers/hofsem/dissertation/

added

papers/hofsem/dissertation/Makefile

added

papers/hofsem/dissertation/README

added

papers/hofsem/dissertation/TODO

added

papers/hofsem/dissertation/_region_.tex

added

papers/hofsem/dissertation/apj.bst

added

papers/hofsem/dissertation/architecting.tex

added

papers/hofsem/dissertation/background.tex

added

papers/hofsem/dissertation/bh_abstract.tex

added

papers/hofsem/dissertation/ccw_chithesis.cls

added

papers/hofsem/dissertation/conclusion.tex

added

papers/hofsem/dissertation/config.tex

added

papers/hofsem/dissertation/deadlines.txt

added

papers/hofsem/dissertation/defense/

added

papers/hofsem/dissertation/defense/defense.aux

added

papers/hofsem/dissertation/defense/defense.pdf

added

papers/hofsem/dissertation/defense/defense.tex

added

papers/hofsem/dissertation/defense/defense.toc

added

papers/hofsem/dissertation/defense/defense.vrb

added

papers/hofsem/dissertation/defining.tex

added

papers/hofsem/dissertation/elaborationproofs.tex

added

papers/hofsem/dissertation/entitycalc.tex

added

papers/hofsem/dissertation/entitysemantics.tex

added

papers/hofsem/dissertation/figs/

added

papers/hofsem/dissertation/figs/appandtruetypeprogvenn.pdf

added

papers/hofsem/dissertation/figs/figannotated.tex

added

papers/hofsem/dissertation/figs/figfctapp.tex

added

papers/hofsem/dissertation/figs/figfctelab.tex

added
