Index of /isa-launchbury/Launchbury

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]AEnv.thy2015-01-05 16:24 171  
[   ]AList-Utils-HOLCF.thy2015-01-05 16:24 2.6K 
[   ]AList-Utils-Nominal.thy2014-12-17 15:38 3.7K 
[   ]AList-Utils.thy2015-01-05 16:24 7.7K 
[   ]Abstract-Denotational-Props.thy2015-01-16 16:50 6.5K 
[   ]AbstractCorrectness.thy2014-10-16 16:50 365  
[   ]AbstractCorrectnessSestoft.thy2014-10-16 16:50 4.0K 
[   ]AbstractDenotational.thy2015-01-16 16:50 5.4K 
[   ]AbstractTransform.thy2015-02-03 13:57 13K 
[   ]Adequacy.thy2014-04-30 13:49 875  
[   ]AnalBinds.thy2015-01-05 16:24 2.2K 
[   ]Arity-Nominal.thy2015-01-05 16:24 549  
[   ]Arity.thy2015-02-03 13:57 4.4K 
[   ]ArityAnalysisAbinds.thy2015-01-20 15:41 8.2K 
[   ]ArityAnalysisFix.thy2015-01-16 16:50 11K 
[   ]ArityAnalysisFixProps.thy2015-01-16 16:50 395  
[   ]ArityAnalysisImpl.thy2015-01-16 16:50 853  
[   ]ArityAnalysisImplCorrect.thy2015-01-16 16:50 5.2K 
[   ]ArityAnalysisPreImpl.thy2015-01-16 16:50 4.6K 
[   ]ArityAnalysisSig.thy2015-01-16 16:50 941  
[   ]ArityAnalysisSpec.thy2015-01-16 16:50 4.0K 
[   ]ArityAnalysisStack.thy2015-01-20 15:41 745  
[   ]ArityConsistent.thy2015-02-03 13:57 14K 
[   ]ArityEtaExpand.thy2015-01-16 16:50 448  
[   ]ArityEtaExpandCorrect.thy2015-02-03 13:57 13K 
[   ]ArityEtaExpansionSestoft.thy2014-11-06 16:44 581  
[   ]ArityStack.thy2015-02-03 13:57 644  
[   ]BalancedTraces.thy2014-10-06 16:34 9.0K 
[   ]C-Meet.thy2014-05-07 12:50 2.8K 
[   ]C-restr.thy2014-07-09 14:38 10K 
[   ]C.thy2014-10-31 11:28 4.1K 
[   ]CValue-Nominal.thy2014-05-07 12:50 502  
[   ]CValue.thy2014-05-07 12:50 1.0K 
[   ]CallArityCorrectEnd2End.thy2015-02-03 13:57 6.0K 
[   ]CallArityEnd2End.thy2015-01-16 16:50 3.0K 
[   ]CallArityEtaExpand.thy2014-10-31 11:28 1.1K 
[   ]CallFutureCardinality.thy2015-01-16 16:50 5.2K 
[   ]CallFutures.thy2014-11-18 17:42 8.9K 
[   ]Cardinality-Domain.thy2015-01-05 16:24 2.9K 
[   ]CardinalityAnalysisSig.thy2015-01-16 16:50 381  
[   ]CardinalityAnalysisSpec.thy2015-01-16 16:50 3.7K 
[   ]CardinalityEtaExpandCorrect.thy2015-02-03 13:57 28K 
[   ]CoCallAnalysisBinds.thy2015-01-16 16:50 5.3K 
[   ]CoCallAnalysisImpl.thy2015-01-16 16:50 14K 
[   ]CoCallAnalysisSig.thy2015-01-14 19:15 272  
[   ]CoCallAnalysisSpec.thy2015-01-16 16:50 2.0K 
[   ]CoCallAritySig.thy2015-01-16 16:50 129  
[   ]CoCallFix.thy2015-01-16 16:50 13K 
[   ]CoCallGraph-FTree.thy2015-01-16 16:50 36K 
[   ]CoCallGraph-Nominal.thy2015-01-05 16:24 1.8K 
[   ]CoCallGraph.thy2015-01-16 16:50 15K 
[   ]CoCallImplCorrect.thy2015-01-16 16:50 24K 
[   ]CoCallImplFTree.thy2015-01-16 16:50 460  
[   ]CoCallImplFTreeCorrect.thy2015-01-16 16:50 27K 
[   ]CoCallsFuture.thy2014-11-18 17:42 696  
[   ]ConstOn.thy2015-01-05 16:24 925  
[   ]Correctness-Counterexample.thy2013-11-06 16:51 5.9K 
[   ]Correctness.thy2013-11-06 16:51 3.9K 
[   ]CorrectnessOriginal.thy2014-05-07 12:50 9.4K 
[   ]CorrectnessResourced.thy2014-07-21 17:20 12K 
[   ]CorrectnessStacked.thy2013-12-30 13:47 14K 
[   ]CycleCutOff.thy2013-07-29 23:50 5.6K 
[   ]DeadCodeRemoval.thy2015-01-16 16:50 4.5K 
[   ]DeadCodeRemoval2.thy2015-01-16 16:50 11K 
[   ]DeadCodeRemoval2Correct.thy2015-01-16 16:50 12K 
[   ]DeadCodeRemoval2CorrectSestoft.thy2015-01-20 15:41 18K 
[   ]DeadCodeRemovalCorrect.thy2014-07-24 14:25 12K 
[   ]Denotational-Related.thy2015-01-16 16:50 3.6K 
[   ]Denotational.thy2015-01-16 16:50 5.0K 
[   ]DenotationalEquivalences.thy2013-11-06 16:51 1.2K 
[   ]Down.thy2012-10-16 16:53 19K 
[   ]Env-HOLCF.thy2015-01-09 17:16 3.8K 
[   ]Env-Nominal.thy2015-01-05 16:24 4.5K 
[   ]Env-Set-Cpo.thy2015-01-16 16:50 309  
[   ]Env.thy2015-01-20 15:41 13K 
[   ]EtaExpansion.thy2015-01-16 16:50 3.0K 
[   ]EtaExpansionArity.thy2015-01-16 16:50 1.3K 
[   ]EtaExpansionSestoft.thy2015-02-03 13:57 1.8K 
[   ]EvalHeap.thy2014-05-14 16:45 5.0K 
[   ]Everything.thy2013-11-06 16:51 10K 
[   ]EverythingAdequacy.thy2014-07-09 14:38 16K 
[   ]FMap-HOLCF.thy2013-12-31 17:20 39K 
[   ]FMap-Heap.thy2013-10-02 14:20 132  
[   ]FMap-Join.thy2013-10-25 19:00 9.4K 
[   ]FMap-Nominal-HOLCF.thy2013-10-02 14:20 3.4K 
[   ]FMap-Nominal-Unused.thy2013-12-31 17:20 9.4K 
[   ]FMap-Nominal.thy2013-12-31 17:20 4.4K 
[   ]FMap-Unused.thy2013-12-31 17:20 3.0K 
[   ]FMap.thy2013-12-31 17:20 17K 
[   ]FTree-HOLCF.thy2015-01-16 16:50 9.9K 
[   ]FTree-Nominal-HOLCF.thy2015-01-05 16:24 714  
[   ]FTree.thy2015-01-16 16:50 54K 
[   ]FTreeAnalysisSig.thy2015-01-14 19:15 253  
[   ]FTreeAnalysisSpec.thy2015-01-16 16:50 1.8K 
[   ]FTreeImplCardinality.thy2015-01-16 16:50 1.2K 
[   ]FTreeImplCardinalityCorrect.thy2015-01-16 16:50 23K 
[   ]FixRestr.thy2012-10-16 16:53 5.2K 
[   ]Flag.thy2013-10-14 14:39 264  
[   ]FutureCardinality.thy2014-11-18 17:42 5.9K 
[   ]HOLCF-Fix-Join-Nominal.thy2013-04-12 16:51 1.2K 
[   ]HOLCF-Fix-Join.thy2013-10-02 14:20 16K 
[   ]HOLCF-Join-Classes.thy2014-12-11 14:20 8.8K 
[   ]HOLCF-Join.thy2014-08-05 17:23 9.2K 
[   ]HOLCF-Meet-Classes.thy2014-04-01 12:30 8.4K 
[   ]HOLCF-Meet.thy2014-07-09 14:38 7.3K 
[   ]HOLCF-Set-Nominal.thy2013-04-12 16:51 6.1K 
[   ]HOLCF-Set.thy2013-04-12 16:51 40K 
[   ]HOLCF-Top.thy2012-07-25 13:02 759  
[   ]HOLCF-Utils.thy2015-01-05 16:24 6.6K 
[   ]HSem-Equivalences.thy2013-11-06 16:51 4.0K 
[   ]HSem.thy2013-12-31 17:20 64K 
[   ]HasESem.thy2014-05-07 12:50 667  
[   ]HeapSemantics.thy2014-05-14 16:45 24K 
[   ]ImageP.thy2014-07-24 14:09 2.4K 
[   ]Indirections.thy2013-12-31 17:20 20K 
[   ]IteratedFixedPoint.thy2012-12-05 14:18 15K 
[   ]Iterative.thy2014-05-07 12:50 3.4K 
[   ]Launchbury-Unstack.thy2013-10-25 16:42 5.9K 
[   ]Launchbury.thy2014-10-06 16:34 12K 
[   ]LaunchburyAbstractTransformation.thy2014-07-24 14:09 11K 
[   ]LaunchburyAddBH.thy2013-10-17 16:54 18K 
[   ]LaunchburyAddLog.thy2014-04-23 17:06 947  
[   ]LaunchburyCombined-Unstack.thy2013-12-31 17:20 12K 
[   ]LaunchburyCombined.thy2013-12-31 17:20 15K 
[   ]LaunchburyCombinedStacked.thy2013-06-11 16:12 24K 
[   ]LaunchburyCombinedTaggedMap.thy2013-12-31 17:20 15K 
[   ]LaunchburyLog.thy2014-07-09 14:38 12K 
[   ]LaunchburyMoreFree.thy2013-10-10 13:45 8.4K 
[   ]LaunchburyNoBH.thy2013-07-29 23:50 2.7K 
[   ]LaunchburyStacked.thy2013-10-10 13:45 16K 
[   ]LaunchburyUnBH.thy2012-12-03 17:00 3.6K 
[   ]List-Interleavings.thy2014-12-11 14:20 6.9K 
[   ]LookAheadSim.thy2014-09-24 16:40 6.2K 
[   ]Mono-Nat-Fun.thy2014-07-09 14:38 876  
[   ]NewStuff.thy2013-10-17 16:54 104  
[   ]NoCardinalityAnalysis.thy2015-01-16 16:50 7.1K 
[   ]Nominal-HOLCF.thy2015-01-05 16:24 9.1K 
[   ]Nominal-Utils.thy2015-02-03 13:57 15K 
[   ]Pointwise.thy2014-04-28 16:42 290  
[   ]ROOT-Submission-Adequacy2014-07-09 14:38 629  
[   ]RedsImprovesArityAnalysis.thy2015-01-14 19:15 13K 
[   ]RemoveTaggedMapIndirection.thy2013-12-31 17:20 36K 
[   ]ResourcedAdequacy.thy2015-01-16 16:50 19K 
[   ]ResourcedDenotational.thy2015-01-16 16:50 4.6K 
[   ]Sestoft.thy2015-02-03 13:57 9.9K 
[   ]SestoftConf.thy2015-02-03 13:57 11K 
[   ]SestoftCorrect.thy2015-01-20 15:41 15K 
[   ]SestoftGC.thy2015-02-03 13:57 17K 
[   ]Set-Cpo-Nominal.thy2014-11-06 16:44 207  
[   ]Set-Cpo.thy2015-01-16 16:50 2.2K 
[   ]Substitution.thy2015-01-16 16:50 12K 
[   ]Terms.thy2015-01-16 16:50 28K 
[   ]TransformTools.thy2015-01-20 15:41 5.6K 
[   ]TrivialArityAnal.thy2015-01-20 15:41 4.2K 
[   ]Unused.thy2014-05-07 12:50 3.4K 
[   ]Value-Meet.thy2013-12-08 15:07 1.6K 
[   ]Value-Nominal.thy2014-05-07 12:50 360  
[   ]Value.thy2014-07-09 14:38 1.9K 
[   ]ValueSimilarity.thy2014-07-09 14:38 23K 
[   ]Vars.thy2014-04-28 16:42 175  
[DIR]document/2015-01-05 16:24 -  

Apache/2.4.10 (Debian) Server at darcs.nomeata.de Port 80