Index of /fp-syd/past/2012

	Name	Last modified	Size	Description
	Parent Directory		-
	2012-02-sinclair-certifed-adder.agda	2012-02-23 02:03	9.3K
	2012-04-Willigers-SKI.pdf	2012-07-29 05:10	57K
	2012-02-deCastroLopo-conduit.pdf	2012-02-23 02:03	116K
	2012-11-Robinson-RewriteRules.pdf	2012-11-18 00:57	200K
	2012-03-Lippmeier-CIU-Theorem.pdf	2012-03-18 23:50	253K
	2012-03-Stephens-Hindemith.pdf	2012-03-18 23:51	437K
	2012-07-Stephens-HindemithII.pdf	2012-07-24 04:45	487K
	2012-06-Seefried-MatrixMultII.pdf	2012-07-24 05:07	558K
	2012-07-Torreborre-Strong-FP.pdf	2012-07-24 04:32	1.2M
	2012-02-torreborre-iterator-pattern.pptx	2012-02-23 02:03	1.6M
	2012-11-Ma-TypeBasedAliasingControl.pdf	2012-11-15 06:10	2.4M