Index of /~leavens/COP4020Spring12/lectures/declarative-programming

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]Fib.oz2006-09-13 17:58 169  
[ ]FoldRAcc.oz2006-09-13 17:58 230  
[ ]FromTo.oz2006-09-13 17:58 354  
[ ]Involve.oz2006-09-13 17:58 174  
[ ]ForLoops.oz2006-09-18 22:44 509  
[ ]fig3_28.oz2006-09-18 22:45 572  
[ ]ModuleTest.oz2006-09-21 12:42 68  
[TXT]Outline-files.txt2007-08-21 15:59 119  
[TXT]self-test.txt2007-09-21 09:22 3.1K 
[ ]QueueAmortized.oz2007-09-26 10:10 362  
[ ]QueueConstant.oz2007-09-26 10:13 293  
[ ]ChunkArity.oz2007-10-10 09:59 106  
[ ]ChunkTest.oz2007-10-10 10:02 687  
[ ]Assert.oz2007-10-14 13:56 218  
[TXT]real-world.txt2007-10-15 10:47 1.4K 
[ ]TreeFunsTest.oz2007-10-21 23:39 1.0K 
[ ]SumFromTo.oz2007-10-21 23:48 438  
[ ]SumFromToTest.oz2007-10-21 23:49 251  
[ ]NewWrapper.oz2007-10-22 00:06 321  
[ ]Stack.oz2007-10-22 00:22 641  
[ ]StackTest.oz2007-10-22 00:22 1.1K 
[ ]Seq.oz2007-10-22 00:40 347  
[ ]ProductTest.oz2007-10-22 01:07 419  
[ ]ProdFromToTest.oz2007-10-22 01:16 262  
[ ]ProdFromTo.oz2007-10-22 01:16 217  
[ ]NaturalsTest.oz2007-10-22 01:23 453  
[ ]Naturals.oz2007-10-22 01:23 676  
[ ]GravForceExampleTest.oz2007-10-22 02:34 1.2K 
[ ]GravForceExample.oz2007-10-22 02:34 573  
[ ]ForLoopMapTest.oz2007-10-22 02:40 359  
[ ]ForLoopMap.oz2007-10-22 02:40 245  
[ ]FoldRExamplesTest.oz2007-10-22 02:51 372  
[ ]EvalTest.oz2007-10-22 02:58 643  
[ ]Eval.oz2007-10-22 02:58 940  
[ ]DiffListTest.oz2007-10-22 03:02 459  
[ ]DeleteFirstTest.oz2007-10-22 03:09 443  
[ ]DeleteFirst.oz2007-10-22 03:09 229  
[ ]CombinatorsTest.oz2007-10-29 14:58 468  
[ ]Product.oz2008-01-05 14:56 596  
[ ]FoldRExamples.oz2008-01-05 15:01 534  
[ ]SuperSizeWrong.oz2008-02-01 10:38 1.0K 
[ ]SuperSizeTest.oz2008-02-01 10:46 1.1K 
[ ]Map.oz2008-02-15 15:36 231  
[ ]SuperSize.oz2008-02-15 15:41 897  
[ ]DeleteFirstInClassTest.oz2008-02-18 16:28 450  
[ ]ReadOnlyTest.oz2008-03-03 18:14 137  
[ ]NthNELTest.oz2008-03-03 22:29 323  
[ ]NthNEL.oz2008-03-03 22:29 517  
[ ]MaxNELTest.oz2008-03-03 22:29 266  
[ ]MaxNEL.oz2008-03-03 22:29 276  
[ ]TreeFuns.oz2008-03-03 22:46 2.1K 
[ ]ForLoopExamples.oz2008-03-03 23:03 566  
[ ]SuperSizeWrongTest.oz2008-09-29 11:18 1.1K 
[ ]AppendNEL.oz2008-09-29 11:35 150  
[ ]AppendNELTest.oz2008-09-29 11:48 394  
[ ]EvalInClassTest.oz2008-10-01 10:58 650  
[ ]Iterate.oz2008-10-03 10:54 648  
[ ]StackInClassAsList.oz2008-10-13 10:57 379  
[ ]Filter.oz2008-10-14 17:47 262  
[ ]FilterTest.oz2008-10-14 17:47 488  
[ ]All.oz2008-10-14 21:27 179  
[ ]AllTest.oz2008-10-14 21:27 512  
[ ]SampleSecureTest.oz2008-10-15 11:12 792  
[ ]Combinators.oz2008-10-17 11:26 466  
[TXT]modules.txt2008-11-03 12:03 5.1K 
[ ]SumFromToInClassTest.oz2009-02-06 11:29 258  
[ ]SumFromToInClass.oz2009-02-06 11:43 333  
[ ]ProductInClassTest.oz2009-02-06 11:52 378  
[ ]ProductInClass.oz2009-02-06 12:20 255  
[ ]NaturalsInClassTest.oz2009-02-09 12:13 1.1K 
[ ]NaturalsInClass.oz2009-02-09 12:23 403  
[ ]Add1EachInClass.oz2009-02-11 11:46 324  
[ ]MapInClassTest.oz2009-02-11 12:06 419  
[ ]MapInClass.oz2009-02-11 12:08 111  
[ ]AppendNELInClassTest.oz2009-02-11 12:17 494  
[ ]AppendNELInClass.oz2009-02-11 12:20 148  
[ ]DeleteFirstInClass.oz2009-02-11 12:23 281  
[ ]SuperSizeInClassTest.oz2009-02-16 11:45 1.1K 
[ ]SuperSizeInClass.oz2009-02-16 12:01 718  
[ ]EvalInClass.oz2009-02-16 12:21 706  
[ ]DiffList.oz2009-02-18 11:59 393  
[ ]IterateInClass.oz2009-02-18 12:24 495  
[TXT]TransformI.java2009-02-20 11:37 59  
[TXT]JavaMap.java2009-02-20 11:39 288  
[ ]FoldRExamplesInClassTest.oz2009-02-20 12:10 578  
[ ]FoldRExamplesInClass.oz2009-02-20 12:11 854  
[TXT]tegrity-handouts.txt2009-02-20 15:15 30K 
[ ]FoldTreeInClass.oz2009-02-23 12:12 868  
[ ]SeqTest.oz2009-02-25 11:39 577  
[ ]SeqInClass.oz2009-02-25 11:53 383  
[ ]SeqInClassTest.oz2009-02-25 11:59 678  
[ ]ForLoopExamplesInClass.oz2009-02-25 12:17 173  
[ ]StackInClass.oz2009-02-27 11:53 283  
[ ]StackInClassTest.oz2009-02-27 11:57 1.2K 
[ ]SampleInClass.oz2009-02-27 12:15 263  
[TXT]tegrity-handouts2.txt2009-02-27 17:25 31K 
[TXT]data.txt2009-02-27 18:09 10K 
[ ]IterateTest.oz2009-10-12 10:40 1.7K 
[ ]FoldL.oz2010-03-08 17:24 485  
[ ]NumsGreater.oz2010-03-08 17:34 381  
[ ]ProductInClassNest.oz2010-09-29 12:20 197  
[ ]SuperSizeInClassWrong2Test.oz2010-10-11 12:29 1.1K 
[ ]DiffListInClass.oz2010-10-11 13:15 592  
[ ]DeleteAllInClassTest.oz2010-10-25 12:15 328  
[ ]DeleteAllInClass.oz2010-10-25 12:20 214  
[ ]MemberInClass.oz2010-10-25 12:29 264  
[ ]MemberInClassTest.oz2010-10-25 12:29 327  
[ ]ForExamples.oz2010-10-25 13:11 690  
[ ]StackInClass2Test.oz2010-10-27 12:34 1.2K 
[ ]StackInClass3Test.oz2010-10-27 12:48 1.2K 
[ ]SampleInClass3Test.oz2010-10-27 13:03 788  
[ ]Combinators.ozf2010-11-01 12:32 1.3K 
[ ]SuperSizeInClass2Test.oz2011-10-06 15:38 1.1K 
[ ]FPower.oz2011-10-18 15:19 248  
[ ]FPowerTest.oz2011-10-18 15:22 270  
[ ]SeqInClass2Test.oz2011-10-18 15:39 600  
[ ]SeqInClass3Test.oz2011-10-18 15:42 599  
[ ]Sample.oz2011-10-20 15:37 295  
[ ]SampleInClassTest.oz2011-10-20 15:57 778  
[ ]SampleSecure.oz2011-10-20 15:58 689  
[ ]SetOpsInClass2Test.oz2011-10-20 16:43 2.6K 
[ ]ProductInClass2.oz2012-02-21 15:46 220  
[ ]ProductInClass2Test.oz2012-02-21 15:48 333  
[ ]DeleteFromNestedTest.oz2012-02-21 16:45 134  
[ ]DeleteFromNested.oz2012-02-21 16:45 8  
[ ]Disabusing.oz2012-02-28 15:06 114  
[ ]DeleteFromNestedInClassTest.oz2012-02-28 15:23 742  
[ ]DeleteFromNestedInClass.oz2012-02-28 15:28 425  
[ ]PlusInClassTest.oz2012-02-28 15:42 416  
[ ]PlusInClass.oz2012-02-28 15:51 161  
[ ]MultInClass.oz2012-02-28 16:04 167  
[ ]MultInClassTest.oz2012-02-28 16:04 547  
[ ]EqualInClassTest.oz2012-02-28 16:07 362  
[ ]EqualInClass.oz2012-02-28 16:12 145  
[ ]Add1EachInClass2.oz2012-03-01 15:50 360  
[ ]Add1EachInClass2Test.oz2012-03-01 15:52 218  
[ ]SuperSizeInClassWrong2.oz2012-03-01 16:03 874  
[ ]SuperSizeInClassRight2.oz2012-03-01 16:14 823  
[ ]DeleteFirstInClass2Test.oz2012-03-13 15:05 481  
[ ]DeleteFirstInClass2.oz2012-03-13 15:09 183  
[ ]EvalInClass2.oz2012-03-13 15:36 1.0K 
[ ]EvalInClass2Test.oz2012-03-13 15:37 666  
[ ]LambdaFVInClass2Test.oz2012-03-15 11:59 941  
[ ]LambdaFVInClass2.oz2012-03-15 12:00 1.4K 
[ ]ElemsGreaterInClass2.oz2012-03-22 15:26 266  
[ ]FilterInClass2.oz2012-03-22 15:30 196  
[ ]StackInClass2.oz2012-03-22 15:54 321  
[ ]SampleInClass2.oz2012-03-22 16:01 310  
[ ]SampleInClass22.oz2012-03-22 16:05 300  
[ ]SampleInClass2Test.oz2012-03-22 16:06 783  
[TXT]definition.txt2012-03-23 14:54 3.9K 
[TXT]techniques.txt2012-03-23 15:03 22K 
[ ]ForLoop.oz2012-03-23 16:01 693  
[TXT]procedural.txt2012-03-23 16:06 15K 
[TXT]handouts.txt2012-03-23 16:22 32K 
Apache/2.4.52 (Ubuntu) Server at cs.ucf.edu Port 443