├── .gitignore ├── Ahmed ├── .gitignore ├── Lecture 3 │ └── lecture-3.tm ├── Makefile ├── README.md ├── jakemath.sty ├── lecture2.pdf ├── lecture2.tex ├── lecture4.tex └── notes.tex ├── Gordon └── README.md ├── Harper ├── ACM-Reference-Format.bbx ├── ACM-Reference-Format.bst ├── ACM-Reference-Format.cbx ├── ACM-Reference-Format.dbx ├── README.md ├── acmart.cls ├── cmds.tex ├── lec1.pdf ├── lec1.tex ├── lec2.pdf ├── lec2.tex ├── lec3.pdf ├── lec3.tex ├── lec4.pdf ├── lec4.tex └── lec_4_official.tex ├── Henglein └── README.md ├── Hoffmann ├── ACM-Reference-Format.bbx ├── ACM-Reference-Format.bst ├── ACM-Reference-Format.cbx ├── ACM-Reference-Format.dbx ├── README.md ├── acmart.cls ├── cmds.tex ├── lec_1.pdf ├── lec_1.tex ├── lec_3.pdf ├── lec_3.tex ├── lec_4.tex ├── lecture4.pdf └── lecture4.tex ├── Myers ├── Battleship.jif ├── Hello.jif ├── README.md ├── bib.bib ├── bib2.bib ├── lecture2.pdf ├── lecture2.tex ├── lecture3.pdf ├── lecture3.tex ├── lecture4.pdf ├── lecture4.tex └── unicode-math-defs.sty ├── Pfenning ├── 17-jun-morning.pdf ├── 17-jun-morning.tex ├── 18-jun-morning.pdf ├── 18-jun-morning.tex ├── 19-jun-morning.pdf ├── 19-jun-morning.tex ├── README.md ├── demo-subsingleton │ ├── README.md │ ├── counter-time.ss │ └── counter-work.ss ├── pfenning2.pdf ├── pictures │ ├── jun-17 │ │ ├── P_20190617_172856_vHDR_Auto.jpg │ │ ├── P_20190617_172909_vHDR_Auto.jpg │ │ ├── P_20190617_172917_vHDR_Auto.jpg │ │ ├── P_20190617_172927_vHDR_Auto.jpg │ │ └── P_20190617_172939_vHDR_Auto.jpg │ ├── jun-18 │ │ ├── P_20190618_214938_vHDR_Auto.jpg │ │ ├── P_20190618_215008_vHDR_Auto.jpg │ │ └── P_20190618_215024_vHDR_Auto.jpg │ └── jun-19 │ │ ├── P_20190619_183401_vHDR_Auto.jpg │ │ ├── P_20190619_183416_vHDR_Auto.jpg │ │ ├── P_20190619_183434_vHDR_Auto.jpg │ │ └── drawing-processes.pdf └── sample.bib ├── README.md ├── Silva ├── README.md ├── Silva1.pdf ├── Silva2.pdf ├── Silva3.pdf └── Silva4.pdf ├── Staton └── README.md └── Swamy └── README.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/.gitignore -------------------------------------------------------------------------------- /Ahmed/.gitignore: -------------------------------------------------------------------------------- 1 | *.pdf 2 | -------------------------------------------------------------------------------- /Ahmed/Lecture 3/lecture-3.tm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Ahmed/Lecture 3/lecture-3.tm -------------------------------------------------------------------------------- /Ahmed/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Ahmed/Makefile -------------------------------------------------------------------------------- /Ahmed/README.md: -------------------------------------------------------------------------------- 1 | ## Amal Ahmed — Northeastern University 2 | 3 | ### Secure Compilation 4 | -------------------------------------------------------------------------------- /Ahmed/jakemath.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Ahmed/jakemath.sty -------------------------------------------------------------------------------- /Ahmed/lecture2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Ahmed/lecture2.pdf -------------------------------------------------------------------------------- /Ahmed/lecture2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Ahmed/lecture2.tex -------------------------------------------------------------------------------- /Ahmed/lecture4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Ahmed/lecture4.tex -------------------------------------------------------------------------------- /Ahmed/notes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Ahmed/notes.tex -------------------------------------------------------------------------------- /Gordon/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Gordon/README.md -------------------------------------------------------------------------------- /Harper/ACM-Reference-Format.bbx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/ACM-Reference-Format.bbx -------------------------------------------------------------------------------- /Harper/ACM-Reference-Format.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/ACM-Reference-Format.bst -------------------------------------------------------------------------------- /Harper/ACM-Reference-Format.cbx: -------------------------------------------------------------------------------- 1 | \ProvidesFile{ACM-Reference-Format.cbx}[2017-09-27 v0.1] 2 | 3 | \RequireCitationStyle{numeric} 4 | 5 | \endinput 6 | -------------------------------------------------------------------------------- /Harper/ACM-Reference-Format.dbx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/ACM-Reference-Format.dbx -------------------------------------------------------------------------------- /Harper/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/README.md -------------------------------------------------------------------------------- /Harper/acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/acmart.cls -------------------------------------------------------------------------------- /Harper/cmds.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/cmds.tex -------------------------------------------------------------------------------- /Harper/lec1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec1.pdf -------------------------------------------------------------------------------- /Harper/lec1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec1.tex -------------------------------------------------------------------------------- /Harper/lec2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec2.pdf -------------------------------------------------------------------------------- /Harper/lec2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec2.tex -------------------------------------------------------------------------------- /Harper/lec3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec3.pdf -------------------------------------------------------------------------------- /Harper/lec3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec3.tex -------------------------------------------------------------------------------- /Harper/lec4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec4.pdf -------------------------------------------------------------------------------- /Harper/lec4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec4.tex -------------------------------------------------------------------------------- /Harper/lec_4_official.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Harper/lec_4_official.tex -------------------------------------------------------------------------------- /Henglein/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Henglein/README.md -------------------------------------------------------------------------------- /Hoffmann/ACM-Reference-Format.bbx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/ACM-Reference-Format.bbx -------------------------------------------------------------------------------- /Hoffmann/ACM-Reference-Format.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/ACM-Reference-Format.bst -------------------------------------------------------------------------------- /Hoffmann/ACM-Reference-Format.cbx: -------------------------------------------------------------------------------- 1 | \ProvidesFile{ACM-Reference-Format.cbx}[2017-09-27 v0.1] 2 | 3 | \RequireCitationStyle{numeric} 4 | 5 | \endinput 6 | -------------------------------------------------------------------------------- /Hoffmann/ACM-Reference-Format.dbx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/ACM-Reference-Format.dbx -------------------------------------------------------------------------------- /Hoffmann/README.md: -------------------------------------------------------------------------------- 1 | ## Jan Hoffmann — Carnegie Melon University 2 | 3 | ### Resource Analysis 4 | -------------------------------------------------------------------------------- /Hoffmann/acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/acmart.cls -------------------------------------------------------------------------------- /Hoffmann/cmds.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/cmds.tex -------------------------------------------------------------------------------- /Hoffmann/lec_1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/lec_1.pdf -------------------------------------------------------------------------------- /Hoffmann/lec_1.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/lec_1.tex -------------------------------------------------------------------------------- /Hoffmann/lec_3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/lec_3.pdf -------------------------------------------------------------------------------- /Hoffmann/lec_3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/lec_3.tex -------------------------------------------------------------------------------- /Hoffmann/lec_4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/lec_4.tex -------------------------------------------------------------------------------- /Hoffmann/lecture4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/lecture4.pdf -------------------------------------------------------------------------------- /Hoffmann/lecture4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Hoffmann/lecture4.tex -------------------------------------------------------------------------------- /Myers/Battleship.jif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/Battleship.jif -------------------------------------------------------------------------------- /Myers/Hello.jif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/Hello.jif -------------------------------------------------------------------------------- /Myers/README.md: -------------------------------------------------------------------------------- 1 | ## Andrew Myers — Cornell University 2 | 3 | ### Security-Typed Languages 4 | -------------------------------------------------------------------------------- /Myers/bib.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/bib.bib -------------------------------------------------------------------------------- /Myers/bib2.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/bib2.bib -------------------------------------------------------------------------------- /Myers/lecture2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/lecture2.pdf -------------------------------------------------------------------------------- /Myers/lecture2.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/lecture2.tex -------------------------------------------------------------------------------- /Myers/lecture3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/lecture3.pdf -------------------------------------------------------------------------------- /Myers/lecture3.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/lecture3.tex -------------------------------------------------------------------------------- /Myers/lecture4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/lecture4.pdf -------------------------------------------------------------------------------- /Myers/lecture4.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/lecture4.tex -------------------------------------------------------------------------------- /Myers/unicode-math-defs.sty: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Myers/unicode-math-defs.sty -------------------------------------------------------------------------------- /Pfenning/17-jun-morning.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/17-jun-morning.pdf -------------------------------------------------------------------------------- /Pfenning/17-jun-morning.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/17-jun-morning.tex -------------------------------------------------------------------------------- /Pfenning/18-jun-morning.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/18-jun-morning.pdf -------------------------------------------------------------------------------- /Pfenning/18-jun-morning.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/18-jun-morning.tex -------------------------------------------------------------------------------- /Pfenning/19-jun-morning.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/19-jun-morning.pdf -------------------------------------------------------------------------------- /Pfenning/19-jun-morning.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/19-jun-morning.tex -------------------------------------------------------------------------------- /Pfenning/README.md: -------------------------------------------------------------------------------- 1 | ## Frank Pfenning — Carnegie Melon University 2 | 3 | ### Session-Typed Concurrent Programming 4 | -------------------------------------------------------------------------------- /Pfenning/demo-subsingleton/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/demo-subsingleton/README.md -------------------------------------------------------------------------------- /Pfenning/demo-subsingleton/counter-time.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/demo-subsingleton/counter-time.ss -------------------------------------------------------------------------------- /Pfenning/demo-subsingleton/counter-work.ss: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/demo-subsingleton/counter-work.ss -------------------------------------------------------------------------------- /Pfenning/pfenning2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pfenning2.pdf -------------------------------------------------------------------------------- /Pfenning/pictures/jun-17/P_20190617_172856_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-17/P_20190617_172856_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-17/P_20190617_172909_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-17/P_20190617_172909_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-17/P_20190617_172917_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-17/P_20190617_172917_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-17/P_20190617_172927_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-17/P_20190617_172927_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-17/P_20190617_172939_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-17/P_20190617_172939_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-18/P_20190618_214938_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-18/P_20190618_214938_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-18/P_20190618_215008_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-18/P_20190618_215008_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-18/P_20190618_215024_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-18/P_20190618_215024_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-19/P_20190619_183401_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-19/P_20190619_183401_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-19/P_20190619_183416_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-19/P_20190619_183416_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-19/P_20190619_183434_vHDR_Auto.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-19/P_20190619_183434_vHDR_Auto.jpg -------------------------------------------------------------------------------- /Pfenning/pictures/jun-19/drawing-processes.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/pictures/jun-19/drawing-processes.pdf -------------------------------------------------------------------------------- /Pfenning/sample.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Pfenning/sample.bib -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/README.md -------------------------------------------------------------------------------- /Silva/README.md: -------------------------------------------------------------------------------- 1 | ## Alexandra Silva — University College London 2 | 3 | ### Coalgebraic Semantics 4 | -------------------------------------------------------------------------------- /Silva/Silva1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Silva/Silva1.pdf -------------------------------------------------------------------------------- /Silva/Silva2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Silva/Silva2.pdf -------------------------------------------------------------------------------- /Silva/Silva3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Silva/Silva3.pdf -------------------------------------------------------------------------------- /Silva/Silva4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Silva/Silva4.pdf -------------------------------------------------------------------------------- /Staton/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Staton/README.md -------------------------------------------------------------------------------- /Swamy/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/OPLSS/oplss-notes-2019/HEAD/Swamy/README.md --------------------------------------------------------------------------------