Index of /CSI/SoftwEng.FunctLang/papers/2007

	Name	Last modified	Size	Description
	Parent Directory		-
	zuue2007-CarDamageSubrogationWorkFlowIFL07Draft.bib	2007-11-30 11:46	681
	weea2007-PhD.bib	2007-11-30 11:46	250
	vrie2007-UniquenessTypingSimplifiedIFL07Draft.bib	2007-11-30 11:46	679
	vrie2007-TFP07-EqualityBasedUniquenessTyping.pdf	2007-03-23 13:53	98K
	vrie2007-IFL06-UniquenessTypingRedefinedRev.pdf	2007-03-23 11:41	220K
	plar2007-TransparantAjaxClientSiteEvalIFL07Draft.bib	2007-11-30 11:46	731
	plar2007-IFL06-iDataConfManagementSystemRev.pdf	2007-03-23 11:41	270K
	plar2007-ICFP07-iTasks.pdf	2007-10-19 10:42	382K
	plar2007-ICFP07-iTasks.bib	2007-11-29 15:31	584
	koop2007-SpecificationValidationIFL07Draft.bib	2007-11-30 11:46	710
	koop2007-HB60-genLambda.pdf	2007-12-21 17:09	186K
	koop2007-HB60-genLambda.bib	2007-12-21 17:16	670
	koop2007-GastTFP07.bib	2007-11-30 11:46	417
	koop07-SynthesisOfFunctions_TFP2006.pdf	2008-02-01 17:12	185K
	janj2007-TFP06-EfficientInterpretationOfSAPL.pdf	2007-03-23 14:12	184K
	janj2007-TFP06-EfficientInterpretationOfSAPL.bib	2008-10-01 09:24	553
	janj2007-TFP06-EfficientInterpretationOfSAPL.abs	2008-10-01 09:47	1.0K
	eekm2007-HB60-LazyFolkloreProving.pdf	2007-12-21 17:46	168K
	eekm2007-HB60-LazyFolkloreProving.bib	2007-12-21 17:46	709
	achp2007-TFP07-iDataArrowSemanticsPrelim.pdf	2007-03-23 11:41	201K
	achp2007-TFP07-iDataArrowSemanticsPrelim.bib	2007-11-29 15:29	458
	achp2007-CleanHaskellQuickGuide.pdf	2007-07-13 13:52	133K
	achp2007-CleanHaskellQuickGuide.bib	2007-11-29 15:30	409