Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
01-inference.pdf | 2013-07-24 12:31 | 316K | ||
20130802152340.mp4 | 2013-08-03 11:38 | 2.6M | ||
20130803090642.mp4 | 2013-08-03 19:52 | 1.3M | ||
20130803091017.mp4 | 2013-08-03 20:53 | 908M | ||
20130803091017_1.mp4 | 2013-08-03 21:49 | 866M | ||
20130803102245.mp4 | 2013-08-03 21:52 | 30M | ||
20130803104240.mp4 | 2013-08-03 21:52 | 592K | ||
20130803104246.mp4 | 2013-08-03 21:53 | 9.3M | ||
20130803104339.mp4 | 2013-08-03 22:53 | 1.0G | ||
20130803104339_1.mp4 | 2013-08-03 23:54 | 935M | ||
20130803104339_2.mp4 | 2013-08-04 00:11 | 298M | ||
20130803140159.mp4 | 2013-08-04 01:06 | 624M | ||
20130803140159_1.mp4 | 2013-08-04 01:59 | 605M | ||
20130803140159_2.mp4 | 2013-08-04 02:21 | 245M | ||
ClassesJimOPLSS.pdf | 2013-07-30 23:10 | 3.3M | ||
FC_in_GHC_July13.pdf | 2013-08-02 11:32 | 3.8M | ||
FunWithTypeFuns.pdf | 2013-08-05 17:03 | 3.6M | ||
Kinds_and_GADTs.pdf | 2013-08-02 11:32 | 3.6M | ||
Type_inference.pdf | 2013-08-05 17:03 | 3.7M | ||
ahmed-1.pdf | 2013-07-25 15:57 | 492K | ||
ahmed-2.pdf | 2013-07-29 10:12 | 383K | ||
ahmed-3.pdf | 2013-07-28 00:01 | 478K | ||
ahmed-4.pdf | 2013-07-30 10:56 | 608K | ||
ahmed-5.pdf | 2013-07-30 10:56 | 392K | ||
ahmed1-1.mp4 | 2013-07-27 12:53 | 1.7G | ||
ahmed1-2.mp4 | 2013-07-27 14:06 | 1.8G | ||
ahmed1-3.mp4 | 2013-07-27 14:07 | 17M | ||
ahmed2-1.mp4 | 2013-07-27 20:23 | 1.3G | ||
ahmed2-2.mp4 | 2013-07-27 21:29 | 1.3G | ||
ahmed2-3.mp4 | 2013-07-27 21:45 | 368M | ||
ahmed3-1.mp4 | 2013-07-29 17:38 | 1.5G | ||
ahmed3-2.mp4 | 2013-07-29 18:46 | 1.5G | ||
ahmed3-3.mp4 | 2013-07-29 19:30 | 932M | ||
ahmed4-1.mp4 | 2013-07-30 21:19 | 1.5G | ||
ahmed4-2.mp4 | 2013-07-30 22:32 | 1.5G | ||
ahmed4-3.mp4 | 2013-07-30 23:11 | 706M | ||
ahmed5-1.mp4 | 2013-07-31 12:50 | 1.4G | ||
ahmed5-2.mp4 | 2013-07-31 13:57 | 1.3G | ||
ahmed5-3.mp4 | 2013-07-31 15:07 | 1.5G | ||
ahmed5-4.mp4 | 2013-07-31 15:18 | 218M | ||
ahmed6-1.mp4 | 2013-08-01 00:26 | 1.0G | ||
ahmed6-2.mp4 | 2013-08-01 01:26 | 925M | ||
ahmed6-3.mp4 | 2013-08-01 01:40 | 277M | ||
ahmed6-4.mp4 | 2013-08-01 01:54 | 275M | ||
ahmed_official1.pdf | 2013-08-01 20:09 | 1.1M | ||
harper-1.pdf | 2013-07-26 11:42 | 1.2M | ||
harper-2.pdf | 2013-07-26 11:42 | 327K | ||
harper-3.pdf | 2013-07-26 11:42 | 431K | ||
harper-4.pdf | 2013-07-25 14:58 | 424K | ||
harper1-1.mp4 | 2013-07-23 16:46 | 351M | ||
harper1-2.mp4 | 2013-07-23 03:12 | 351M | ||
harper1-3.mp4 | 2013-07-23 11:59 | 130M | ||
harper2-1.mp4 | 2013-07-24 01:03 | 904M | ||
harper2-2.mp4 | 2013-07-24 10:39 | 847M | ||
harper2-3.mp4 | 2013-07-24 11:00 | 301M | ||
harper3-1.mp4 | 2013-07-24 06:21 | 827M | ||
harper3-2.mp4 | 2013-07-24 07:22 | 957M | ||
harper3-3.mp4 | 2013-07-24 07:39 | 264M | ||
harper4-1.mp4 | 2013-07-26 22:52 | 1.2G | ||
harper4-2.mp4 | 2013-07-27 00:03 | 1.3G | ||
harper4-3.mp4 | 2013-07-27 01:10 | 1.1G | ||
harper4-4.mp4 | 2013-07-27 01:25 | 249M | ||
harper5-1.mp4 | 2013-07-27 09:56 | 1.2G | ||
harper5-2.mp4 | 2013-07-27 11:03 | 1.3G | ||
harper5-3.mp4 | 2013-07-27 11:40 | 754M | ||
jones1-1.mp4 | 2013-08-01 02:59 | 1.2G | ||
jones1-2.mp4 | 2013-08-01 04:07 | 1.4G | ||
jones1-3.mp4 | 2013-08-01 04:49 | 885M | ||
jones2-1.mp4 | 2013-08-01 17:21 | 1.0G | ||
jones2-2.mp4 | 2013-08-01 18:09 | 782M | ||
jones3-1.mp4 | 2013-08-02 14:05 | 924M | ||
jones3-2.mp4 | 2013-08-02 15:11 | 900M | ||
jones3-3.mp4 | 2013-08-02 15:25 | 231M | ||
jones4-1.mp4 | 2013-08-03 12:41 | 1.1G | ||
jones4-2.mp4 | 2013-08-03 13:43 | 967M | ||
jones4-3.mp4 | 2013-08-03 13:47 | 59M | ||
licata1-1.mp4 | 2013-07-27 22:08 | 488M | ||
licata1-2.mp4 | 2013-07-27 23:15 | 1.2G | ||
licata1-3.mp4 | 2013-07-27 23:56 | 664M | ||
licata1-4.mp4 | 2013-07-27 23:58 | 42M | ||
licata2-1.mp4 | 2013-07-29 15:16 | 1.2G | ||
licata2-2.mp4 | 2013-07-29 16:19 | 1.2G | ||
licata2-3.mp4 | 2013-07-29 16:20 | 18M | ||
licata2-4.mp4 | 2013-07-29 16:23 | 64M | ||
licata3-1.mp4 | 2013-07-31 09:49 | 1.5G | ||
licata3-2.mp4 | 2013-07-31 11:01 | 1.1G | ||
licata3-3.mp4 | 2013-07-31 11:33 | 558M | ||
licata4-1.mp4 | 2013-07-31 22:06 | 1.2G | ||
licata4-2.mp4 | 2013-07-31 23:14 | 1.0G | ||
licata4-3.mp4 | 2013-07-31 23:24 | 175M | ||
licata4-4.mp4 | 2013-07-31 20:34 | 17M | ||
licata5-1.mp4 | 2013-08-01 08:08 | 1.3G | ||
licata5-2.mp4 | 2013-08-01 09:15 | 1.2G | ||
licata5-3.mp4 | 2013-08-01 09:28 | 246M | ||
pfenning-1.pdf | 2013-07-26 11:42 | 340K | ||
pfenning-2.pdf | 2013-07-26 22:39 | 286K | ||
pfenning-3.pdf | 2013-07-25 17:55 | 287K | ||
pfenning-4.pdf | 2013-07-26 14:47 | 331K | ||
pfenning-5.pdf | 2013-07-27 23:23 | 335K | ||
pfenning1-1.mp4 | 2013-07-24 04:08 | 966M | ||
pfenning1-2.mp4 | 2013-07-24 05:06 | 963M | ||
pfenning1-3.mp4 | 2013-07-24 05:25 | 352M | ||
pfenning2-1.mp4 | 2013-07-27 04:47 | 1.5G | ||
pfenning2-2.mp4 | 2013-07-27 05:56 | 1.3G | ||
pfenning2-3.mp4 | 2013-07-27 06:26 | 582M | ||
pfenning3-1.mp4 | 2013-07-27 15:22 | 1.4G | ||
pfenning3-2.mp4 | 2013-07-27 16:31 | 1.4G | ||
pfenning3-3.mp4 | 2013-07-26 21:41 | 784M | ||
pfenning4-1.mp4 | 2013-07-27 17:41 | 1.1G | ||
pfenning4-2.mp4 | 2013-07-27 18:41 | 901M | ||
pfenning4-3.mp4 | 2013-07-27 19:04 | 413M | ||
pfenning5-1.mp4 | 2013-07-29 12:40 | 1.2G | ||
pfenning5-2.mp4 | 2013-07-29 13:46 | 1.2G | ||
pfenning5-3.mp4 | 2013-07-29 14:12 | 475M | ||
tolmach1-1.mp4 | 2013-07-23 21:59 | 703M | ||
tolmach1-2.mp4 | 2013-07-24 02:50 | 606M | ||
tolmach2-1.mp4 | 2013-07-24 17:02 | 1.0G | ||
tolmach2-2.mp4 | 2013-07-24 18:06 | 1.3G | ||
tolmach2-3.mp4 | 2013-07-24 18:28 | 495M | ||
tolmach3-1.mp4 | 2013-07-27 02:25 | 1.0G | ||
tolmach3-2.mp4 | 2013-07-27 03:22 | 948M | ||
tolmach3-3.mp4 | 2013-07-27 03:34 | 202M | ||
tolmach4-1.mp4 | 2013-07-27 07:31 | 1.2G | ||
tolmach4-2.mp4 | 2013-07-27 08:37 | 969M | ||
tolmach4-3.mp4 | 2013-07-27 08:51 | 257M | ||
weirich1-1.mp4 | 2013-08-01 05:57 | 1.3G | ||
weirich1-2.mp4 | 2013-08-01 07:00 | 1.4G | ||
weirich1-3.mp4 | 2013-08-01 07:01 | 18M | ||
weirich2-1.mp4 | 2013-08-02 00:18 | 1.1G | ||
weirich2-2.mp4 | 2013-08-02 01:22 | 1.2G | ||
weirich2-3.mp4 | 2013-08-02 01:30 | 141M | ||
weirich3-1.mp4 | 2013-08-03 10:35 | 933M | ||
weirich3-2.mp4 | 2013-08-03 11:38 | 1.1G | ||
weirich3-3.mp4 | 2013-08-03 11:38 | 6.4M | ||
weirich_main.pdf | 2013-07-31 14:43 | 116K | ||
zdancewic-oplss.pdf | 2013-08-03 16:53 | 3.7M | ||
zdancewic1-1.mp4 | 2013-08-01 10:37 | 1.4G | ||
zdancewic1-2.mp4 | 2013-08-01 11:33 | 819M | ||
zdancewic1-3.mp4 | 2013-08-01 11:51 | 231M | ||
zdancewic2-1.mp4 | 2013-08-01 15:05 | 855M | ||
zdancewic2-2.mp4 | 2013-08-01 16:02 | 930M | ||
zdancewic2-3.mp4 | 2013-08-01 16:20 | 269M | ||
zdancewic3-1.mp4 | 2013-08-02 16:26 | 927M | ||
zdancewic3-2.mp4 | 2013-08-02 17:30 | 940M | ||
zdancewic3-3.mp4 | 2013-08-02 17:34 | 53M | ||