Index of /~amin/dot

	Name	Last modified	Size	Description
	Parent Directory		-
	candidacy_report.pdf	2012-09-04 14:50	194K
	candidacy_slides.pdf	2012-09-12 11:39	206K
	current_rules.pdf	2016-05-29 13:12	176K
	defs.pdf	2012-05-20 22:09	160K
	ecoop-pc-slides.pdf	2016-06-29 17:34	221K
	encoding.pdf	2012-09-18 01:44	203K
	flatmap-slides.pdf	2014-05-12 11:07	1.2M
	fool.pdf	2012-09-30 14:41	304K
	fool_pre.pdf	2012-09-13 14:00	289K
	fool_rules.pdf	2012-12-14 16:09	177K
	fool_rules_since.pdf	2013-06-03 17:35	200K
	fool_slides.pdf	2012-10-23 00:50	187K
	fos_slides.pdf	2012-12-14 17:00	198K
	fpdt.pdf	2014-09-01 11:42	285K
	fpdt_post.pdf	2016-04-07 13:05	291K
	lamp-slides-with-notes.pdf	2016-05-29 13:11	356K
	lamp-slides.pdf	2016-05-29 13:12	306K
	minidot.pdf	2013-11-06 14:46	107K
	msr-slides.pdf	2013-07-03 00:09	157K
	oopsla16-slides-qa.pdf	2016-11-19 11:24	311K
	oopsla16-slides.pdf	2016-11-03 13:50	308K
	original_draft_2010_01_14.pdf	2016-07-08 08:21	202K
	original_draft_2011_12_19.pdf	2016-07-08 08:22	234K
	original_main.pdf	2012-09-09 22:48	325K
	original_rules.pdf	2012-09-09 22:48	176K
	preservation.pdf	2012-05-20 22:09	140K
	report.pdf	2012-07-06 14:01	146K
	scaladays-slides.pdf	2014-06-17 22:59	1.1M
	slides.pdf	2012-07-05 20:41	247K
	soundness_oopsla16.pdf	2016-10-14 13:11	308K
	twelf.pdf	2013-11-06 14:46	174K
	type_safety.pdf	2012-11-16 15:24	170K