| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| self.rb | 2012-10-17 22:01 | 329 | ||
| books.txt | 2014-08-20 18:16 | 5.7K | ||
| other.html | 2013-07-18 00:52 | 6.7K | ||
| index.htm | 2018-12-04 00:42 | 11K | ||
| books.html | 2017-08-15 11:02 | 25K | ||
| Thumbs.db | 2012-08-23 12:08 | 40K | ||
| me1.jpg | 2012-08-23 12:06 | 51K | ||
| fstar-to-c.pdf | 2016-09-22 13:31 | 74K | ||
| resume.pdf | 2018-12-04 00:47 | 100K | ||
| me2.jpg | 2013-07-09 15:41 | 111K | ||
| me3.jpg | 2013-07-09 15:42 | 111K | ||
| facade-tr.pdf | 2016-08-08 15:51 | 125K | ||
| timl-oopsla-ae.tgz | 2017-07-03 17:07 | 248K | ||
| visapp12.pdf | 2011-10-11 01:32 | 257K | ||
| popl14-supplemental.tgz | 2013-07-18 00:37 | 381K | ||
| timl.pdf | 2017-10-17 13:35 | 387K | ||
| bedrock-comp.pdf | 2014-08-08 09:58 | 392K | ||
| oopsla031-wang.pdf | 2014-08-20 06:38 | 401K | ||
| phd-thesis.pdf | 2018-12-04 00:29 | 606K | ||
| oopsla2014.tgz | 2014-03-25 22:09 | 644K | ||
| lowstar-icfp17.pdf | 2017-06-30 11:46 | 1.1M | ||
| me.jpg | 2016-02-18 12:11 | 1.1M | ||
| oopsla2014-slides.pdf | 2014-09-23 01:07 | 1.6M | ||
| master-thesis.pdf | 2017-04-10 11:42 | 11M | ||
| bachelor-thesis.pdf | 2017-04-10 11:59 | 14M | ||
| oopsla14-ae.ova | 2014-06-27 10:15 | 1.4G | ||