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

	Name	Last modified	Size	Description
	Parent Directory		-
	achp2005-ProbingGUIsCorrect.abs	2005-03-03 16:06	580
	achp2005-ProbingGUIsCorrect.pdf	2005-03-03 16:06	220K
	achp2005-ProbingGUIsCorrect.ps.gz	2005-03-03 16:06	182K
	achp2005-ProgrammingGGUIs.abs	2005-03-03 16:06	734
	achp2005-ProgrammingGGUIs.pdf	2005-03-03 16:06	220K
	achp2005-ProgrammingGGUIs.ps.gz	2005-03-03 16:06	183K
	alia2005-ImprovedFusion.abs	2004-09-10 09:19	1.0K
	alia2005-ImprovedFusion.ps.gz	2005-01-27 11:44	168K
	alia2005-biarrowsHaskellWorkshop.abs	2005-09-29 12:22	794
	alia2005-biarrowsHaskellWorkshop.pdf	2005-09-29 12:22	129K
	eves2005-DFormsTFP04.abs	2005-09-29 12:22	544
	eves2005-DFormsTFP04.pdf	2005-09-29 12:22	86K
	eves2005-FFormsIFL04.abs	2005-09-29 12:22	496
	eves2005-FFormsIFL04.pdf	2005-09-29 12:22	226K
	fral2005-SymbolicTestGeneration.abs	2005-03-03 16:42	823
	janj2005-PatternMatchingByFunctionsIFL05.abs	2005-09-29 12:22	790
	janj2005-PatternMatchingByFunctionsIFL05.pdf	2006-01-12 15:04	226K
	koop2005-GenerateElemsTFP05.abs	2005-09-29 12:22	1.0K
	koop2005-GenerateElemsTFP05.pdf	2005-09-29 12:22	53K
	koop2005-TestingFunctionsIFL05.abs	2005-09-29 12:22	919
	koop2005-TestingFunctionsIFL05.pdf	2005-09-29 12:22	120K
	koop2005-TestingWithFunctionSpecificationsCEFPS.pdf	2006-06-13 09:20	218K
	pepb2005-ApplicationsFromORMs.abs	2005-09-29 12:22	586
	pepb2005-ApplicationsFromORMs.pdf	2005-09-29 12:22	195K
	plar2005-GECsForTheWeb.abs	2005-09-29 12:22	1.0K
	plar2005-GECsForTheWeb.pdf	2005-09-29 12:22	218K
	plar2005-ImplementingiDataIFL05.abs	2005-09-29 12:22	689
	plar2005-ImplementingiDataIFL05.pdf	2005-09-29 12:22	228K
	plar2005-iDataCEFPS05.abs	2005-09-29 12:22	702
	plar2005-iDataCEFPS05.pdf	2005-09-29 12:22	521K
	vWeA2005-SmartCardAppletTesting.pdf	2005-03-03 16:06	226K
	wicr05-IFL04-DynamicConstructionGenericFuncs_SelectedPapers.bib	2008-02-29 14:00	617
	wicr05-IFL04-DynamicConstructionGenericFuncs_SelectedPapers.pdf	2008-02-29 14:00	198K