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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[TXT]handouts.txt2010-03-08 17:34 31K 
[TXT]tegrity-handouts2.txt2009-02-27 17:25 31K 
[TXT]tegrity-handouts.txt2009-02-20 15:15 30K 
[TXT]techniques.txt2010-02-23 10:20 22K 
[TXT]procedural.txt2009-02-27 18:08 14K 
[TXT]data.txt2009-02-27 18:09 10K 
[TXT]modules.txt2008-11-03 12:03 5.1K 
[TXT]definition.txt2009-02-27 17:57 3.8K 
[TXT]self-test.txt2007-09-21 09:22 3.1K 
[ ]TreeFuns.oz2008-03-03 22:46 2.1K 
[ ]IterateTest.oz2009-10-12 10:40 1.7K 
[TXT]real-world.txt2007-10-15 10:47 1.4K 
[ ]Combinators.ozf2008-12-23 10:34 1.3K 
[ ]StackInClassTest.oz2009-02-27 11:57 1.2K 
[ ]GravForceExampleTest.oz2007-10-22 02:34 1.2K 
[ ]NaturalsInClassTest.oz2009-02-09 12:13 1.1K 
[ ]SuperSizeInClassTest.oz2009-02-16 11:45 1.1K 
[ ]SuperSizeWrongTest.oz2008-09-29 11:18 1.1K 
[ ]StackTest.oz2007-10-22 00:22 1.1K 
[ ]SuperSizeTest.oz2008-02-01 10:46 1.1K 
[ ]TreeFunsTest.oz2007-10-21 23:39 1.0K 
[ ]SuperSizeWrong.oz2008-02-01 10:38 1.0K 
[ ]Eval.oz2007-10-22 02:58 940  
[ ]SuperSize.oz2008-02-15 15:41 897  
[ ]FoldTreeInClass.oz2009-02-23 12:12 868  
[ ]FoldRExamplesInClass.oz2009-02-20 12:11 854  
[ ]SampleSecureTest.oz2008-10-15 11:12 792  
[ ]SampleInClassTest.oz2008-10-13 11:19 764  
[ ]SuperSizeInClass.oz2009-02-16 12:01 718  
[ ]EvalInClass.oz2009-02-16 12:21 706  
[ ]ChunkTest.oz2007-10-10 10:02 687  
[ ]SeqInClassTest.oz2009-02-25 11:59 678  
[ ]Naturals.oz2007-10-22 01:23 676  
[ ]SampleSecure.oz2007-10-22 00:59 659  
[ ]EvalInClassTest.oz2008-10-01 10:58 650  
[ ]Iterate.oz2008-10-03 10:54 648  
[ ]EvalTest.oz2007-10-22 02:58 643  
[ ]Stack.oz2007-10-22 00:22 641  
[ ]Product.oz2008-01-05 14:56 596  
[ ]SeqInClass3Test.oz2010-03-08 17:12 585  
[ ]FoldRExamplesInClassTest.oz2009-02-20 12:10 578  
[ ]SeqTest.oz2009-02-25 11:39 577  
[ ]GravForceExample.oz2007-10-22 02:34 573  
[ ]fig3_28.oz2006-09-18 22:45 572  
[ ]ForLoopExamples.oz2008-03-03 23:03 566  
[ ]FoldRExamples.oz2008-01-05 15:01 534  
[ ]NthNEL.oz2008-03-03 22:29 517  
[ ]AllTest.oz2008-10-14 21:27 512  
[ ]ForLoops.oz2006-09-18 22:44 509  
[ ]IterateInClass.oz2009-02-18 12:24 495  
[ ]AppendNELInClassTest.oz2009-02-11 12:17 494  
[ ]FilterTest.oz2008-10-14 17:47 488  
[ ]FoldL.oz2010-03-08 17:24 485  
[ ]CombinatorsTest.oz2007-10-29 14:58 468  
[ ]SeqInClass2.oz2009-02-25 12:12 466  
[ ]Combinators.oz2008-10-17 11:26 466  
[ ]DiffListTest.oz2007-10-22 03:02 459  
[ ]NaturalsTest.oz2007-10-22 01:23 453  
[ ]DeleteFirstInClassTest.oz2008-02-18 16:28 450  
[ ]DeleteFirstTest.oz2007-10-22 03:09 443  
[ ]SumFromTo.oz2007-10-21 23:48 438  
[ ]ProductTest.oz2007-10-22 01:07 419  
[ ]MapInClassTest.oz2009-02-11 12:06 419  
[ ]NaturalsInClass.oz2009-02-09 12:23 403  
[ ]AppendNELTest.oz2008-09-29 11:48 394  
[ ]DiffList.oz2009-02-18 11:59 393  
[ ]SeqInClass.oz2009-02-25 11:53 383  
[ ]NumsGreater.oz2010-03-08 17:34 381  
[ ]StackInClassAsList.oz2008-10-13 10:57 379  
[ ]ProductInClassTest.oz2009-02-06 11:52 378  
[ ]FoldRExamplesTest.oz2007-10-22 02:51 372  
[ ]QueueAmortized.oz2007-09-26 10:10 362  
[ ]ForLoopMapTest.oz2007-10-22 02:40 359  
[ ]Sample.oz2008-10-15 11:02 358  
[ ]FromTo.oz2006-09-13 17:58 354  
[ ]Seq.oz2007-10-22 00:40 347  
[ ]SeqInClass3.oz2010-03-08 17:15 338  
[ ]SumFromToInClass.oz2009-02-06 11:43 333  
[ ]Add1EachInClass.oz2009-02-11 11:46 324  
[ ]NthNELTest.oz2008-03-03 22:29 323  
[ ]NewWrapper.oz2007-10-22 00:06 321  
[ ]QueueConstant.oz2007-09-26 10:13 293  
[TXT]JavaMap.java2009-02-20 11:39 288  
[ ]StackInClass.oz2009-02-27 11:53 283  
[ ]DeleteFirstInClass.oz2009-02-11 12:23 281  
[ ]MaxNEL.oz2008-03-03 22:29 276  
[ ]MaxNELTest.oz2008-03-03 22:29 266  
[ ]SampleInClass.oz2009-02-27 12:15 263  
[ ]ProdFromToTest.oz2007-10-22 01:16 262  
[ ]Filter.oz2008-10-14 17:47 262  
[ ]SumFromToInClassTest.oz2009-02-06 11:29 258  
[ ]ProductInClass.oz2009-02-06 12:20 255  
[ ]SumFromToTest.oz2007-10-21 23:49 251  
[ ]ForLoopMap.oz2007-10-22 02:40 245  
[ ]Map.oz2008-02-15 15:36 231  
[ ]FoldRAcc.oz2006-09-13 17:58 230  
[ ]DeleteFirst.oz2007-10-22 03:09 229  
[ ]Assert.oz2007-10-14 13:56 218  
[ ]ProdFromTo.oz2007-10-22 01:16 217  
[ ]All.oz2008-10-14 21:27 179  
[ ]Involve.oz2006-09-13 17:58 174  
[ ]ForLoopExamplesInClass.oz2009-02-25 12:17 173  
[ ]Fib.oz2006-09-13 17:58 169  
[ ]AppendNEL.oz2008-09-29 11:35 150  
[ ]AppendNELInClass.oz2009-02-11 12:20 148  
[ ]ReadOnlyTest.oz2008-03-03 18:14 137  
[TXT]Outline-files.txt2007-08-21 15:59 119  
[ ]MapInClass.oz2009-02-11 12:08 111  
[ ]ChunkArity.oz2007-10-10 09:59 106  
[ ]ModuleTest.oz2006-09-21 12:42 68  
[TXT]TransformI.java2009-02-20 11:37 59  
Apache/2.4.52 (Ubuntu) Server at cs.ucf.edu Port 443