├── .gitignore ├── LICENSE ├── Makefile ├── Picasso-Bull-Progression-cropped.png ├── Picasso-Bull-Progression.png ├── README.md ├── appendix.tex ├── cmuthesis.cls ├── conclusion.tex ├── existing-approaches.tex ├── icfp17-supplement.tex ├── intro.tex ├── listproc.sty ├── macros.tex ├── mathpartir.sty ├── motivating-examples.tex ├── omar-thesis.pdf ├── omar-thesis.tex ├── pfsteps.dtx ├── pfsteps.ins ├── pfsteps.sty ├── preliminaries.tex ├── ptsms.tex ├── research.bib ├── static-language.tex ├── syntax-motivation.tex ├── tsls.tex ├── uetsms.tex └── uptsms.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/Makefile -------------------------------------------------------------------------------- /Picasso-Bull-Progression-cropped.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/Picasso-Bull-Progression-cropped.png -------------------------------------------------------------------------------- /Picasso-Bull-Progression.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/Picasso-Bull-Progression.png -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/README.md -------------------------------------------------------------------------------- /appendix.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/appendix.tex -------------------------------------------------------------------------------- /cmuthesis.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/cmuthesis.cls -------------------------------------------------------------------------------- /conclusion.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/conclusion.tex -------------------------------------------------------------------------------- /existing-approaches.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/existing-approaches.tex -------------------------------------------------------------------------------- /icfp17-supplement.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/icfp17-supplement.tex -------------------------------------------------------------------------------- /intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/intro.tex -------------------------------------------------------------------------------- /listproc.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/listproc.sty -------------------------------------------------------------------------------- /macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/macros.tex -------------------------------------------------------------------------------- /mathpartir.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/mathpartir.sty -------------------------------------------------------------------------------- /motivating-examples.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/motivating-examples.tex -------------------------------------------------------------------------------- /omar-thesis.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/omar-thesis.pdf -------------------------------------------------------------------------------- /omar-thesis.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/omar-thesis.tex -------------------------------------------------------------------------------- /pfsteps.dtx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/pfsteps.dtx -------------------------------------------------------------------------------- /pfsteps.ins: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/pfsteps.ins -------------------------------------------------------------------------------- /pfsteps.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/pfsteps.sty -------------------------------------------------------------------------------- /preliminaries.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/preliminaries.tex -------------------------------------------------------------------------------- /ptsms.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/ptsms.tex -------------------------------------------------------------------------------- /research.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/research.bib -------------------------------------------------------------------------------- /static-language.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/static-language.tex -------------------------------------------------------------------------------- /syntax-motivation.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/syntax-motivation.tex -------------------------------------------------------------------------------- /tsls.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/tsls.tex -------------------------------------------------------------------------------- /uetsms.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/uetsms.tex -------------------------------------------------------------------------------- /uptsms.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cyrus-/thesis/HEAD/uptsms.tex --------------------------------------------------------------------------------