Index of /talks

	Name	Last modified	Size	Description
	Parent Directory		-
	no/	2021-04-10 16:50	-
	old/	2021-04-10 16:50	-
	bovik-award.swf	2021-04-10 16:50	1.7K
	212-imperative-ml-1.txt	2021-04-10 16:50	7.2K
	212-imperative-ml-2.txt	2021-04-10 16:50	11K
	spoons.swf	2021-04-10 16:50	22K
	sigbovik.swf	2021-04-10 16:50	23K
	fake2.swf	2021-04-10 16:50	33K
	concert2.5.swf	2021-04-10 16:50	38K
	dagstuhl_burning1.swf	2021-04-10 16:50	39K
	views.pdf	2021-04-10 16:50	54K
	final-drscheme.swf	2021-04-10 16:50	63K
	tp13.swf	2021-04-10 16:50	68K
	programming.swf	2021-04-10 16:50	69K
	hemlock6.swf	2021-04-10 16:50	75K
	lics2004-final.swf	2021-04-10 16:50	77K
	lics2004-practice.swf	2021-04-10 16:50	77K
	smlsc5.swf	2021-04-10 16:50	80K
	blam-presentation.swf	2021-04-10 16:50	82K
	compbio-blam.swf	2021-04-10 16:50	82K
	dagstuhl7.swf	2021-04-10 16:50	85K
	modal-logic21.swf	2021-04-10 16:50	90K
	modal-logic-adultversion.swf	2021-04-10 16:50	91K
	tgc.swf	2021-04-10 16:50	102K
	lics2004-final5.swf	2021-04-10 16:50	104K
	lics2004-practice5.swf	2021-04-10 16:50	112K
	concert-talk.ppt	2021-04-10 16:50	124K
	open-house7.swf	2021-04-10 16:50	138K
	cs5csl21.swf	2021-04-10 16:50	152K
	cs5csl23.swf	2021-04-10 16:50	160K
	modal-logic-fun.swf	2021-04-10 16:50	182K
	modal-logic6.swf	2021-04-10 16:50	182K
	lfman-talk.swf	2021-04-10 16:50	187K
	concert.ppt	2021-04-10 16:50	202K
	intro2015.swf	2021-04-10 16:50	219K
	defense.swf	2021-04-10 16:50	236K
	modal-logic21.fla	2021-04-10 16:50	778K
	modal-logic6.fla	2021-04-10 16:50	908K
	cs5csl23.fla	2021-04-10 16:50	951K
	concert-talk-4.ppt	2021-04-10 16:50	1.5M
	SAFlashPlayer.exe	2021-04-10 16:50	1.5M
	strangeloop2013-8.swf	2021-04-10 16:50	2.0M
	defense.pdf	2021-04-10 16:50	2.1M
	redi2.swf	2021-04-10 16:50	2.5M
	icfp2006web.swf	2021-04-10 16:50	9.0M