Show and speak: The Order of Evaluation

Nr.	Kind	Title	Time	Show and speak page	Sound file
1	Sl 1	Referential transparency	71	eval-order-show-ref-trans-section-1	eval-order-ref-trans-section-slide-part-1
2	Sl 1	Referential transparency	203	eval-order-show-ref-trans-1	eval-order-ref-trans-slide-part-1
3	Sl 1	An illustration of referential transparency	155	eval-order-show-ref-trans-ill-1	eval-order-ref-trans-ill-slide-part-1
4	Sl 1	Introduction to evaluation order	18	eval-order-show-intr-section-1	eval-order-intr-section-slide-part-1
5	Sl 1	Arbitrary evaluation order - with some limits	172	eval-order-show-eval-order-1	eval-order-eval-order-slide-part-1
6	Sl 1	A motivating example	93	eval-order-show-motivating-ex-1	eval-order-motivating-ex-slide-part-1
7	Pr 1	Program nummer 1 paa A motivating example	109	eval-order-motivating-ex-show-program-1	eval-order-motivating-ex-program-part-1
8	Sl 2	A motivating example	51	eval-order-show-motivating-ex-2	eval-order-motivating-ex-slide-part-2
9	Sl 1	A motivating example - clarification	64	eval-order-show-motivating-ex-answers-1	eval-order-motivating-ex-answers-slide-part-1
10	Sl 1	Rewrite rules, reduction, and normal forms	35	eval-order-show-reduction-section-1	eval-order-reduction-section-slide-part-1
11	Sl 1	Rewrite rules	133	eval-order-show-rewrite-rules-1	eval-order-rewrite-rules-slide-part-1
12	Sl 1	The alpha rewrite rule	238	eval-order-show-alpha-1	eval-order-alpha-slide-part-1
13	Sl 1	The beta rewrite rule	314	eval-order-show-beta-1	eval-order-beta-slide-part-1
14	Sl 1	The eta rewrite rule	225	eval-order-show-eta-1	eval-order-eta-slide-part-1
15	Sl 1	Normal forms	225	eval-order-show-normal-forms-1	eval-order-normal-forms-slide-part-1
16	Sl 1	The ordering of reductions	128	eval-order-show-normal-applicative-1	eval-order-normal-applicative-slide-part-1
17	Sl 1	An example of normal versus applicative evaluation	218	eval-order-show-normal-appl-ex-1	eval-order-normal-appl-ex-slide-part-1
18	Pr 1	Program nummer 1 paa An example of normal versus applicative evaluation	33	eval-order-normal-appl-ex-show-program-1	eval-order-normal-appl-ex-program-part-1
19	Sl 2	An example of normal versus applicative evaluation	73	eval-order-show-normal-appl-ex-2	eval-order-normal-appl-ex-slide-part-2
20	Sl 1	Theoretical results	179	eval-order-show-theory-1	eval-order-theory-slide-part-1
21	Sl 1	Practical implications	222	eval-order-show-practical-implications-1	eval-order-practical-implications-slide-part-1
22	Sl 1	Conditionals and sequential boolean operators	262	eval-order-show-cond-seq-bool-1	eval-order-cond-seq-bool-slide-part-1
23	Sl 1	Lazy evaluation	189	eval-order-show-lazy-eval-1	eval-order-lazy-eval-slide-part-1
24	Sl 1	Delayed evaluation and infinite lists in Scheme	50	eval-order-show-delay-stream-section-1	eval-order-delay-stream-section-slide-part-1
25	Sl 1	Delayed evaluation in Scheme	83	eval-order-show-delay-force-1	eval-order-delay-force-slide-part-1
26	Pr 1	Program nummer 1 paa Delayed evaluation in Scheme	110	eval-order-delay-force-show-program-1	eval-order-delay-force-program-part-1
27	Pr 2	Program nummer 2 paa Delayed evaluation in Scheme	120	eval-order-delay-force-show-program-2	eval-order-delay-force-program-part-2
28	Sl 2	Delayed evaluation in Scheme	36	eval-order-show-delay-force-2	eval-order-delay-force-slide-part-2
29	Sl 1	Examples of delayed evaluation	91	eval-order-show-delay-ex-1	eval-order-delay-ex-slide-part-1
30	Sl 1	Infinite lists in Scheme: Streams	158	eval-order-show-streams-1	eval-order-streams-slide-part-1
31	Pr 1	Program nummer 1 paa Infinite lists in Scheme: Streams	25	eval-order-streams-show-program-1	eval-order-streams-program-part-1
32	Sl 2	Infinite lists in Scheme: Streams	36	eval-order-show-streams-2	eval-order-streams-slide-part-2
33	Sl 1	Example streams	103	eval-order-show-stream-ex-1	eval-order-stream-ex-slide-part-1
34	Pr 1	Program nummer 1 paa Example streams	110	eval-order-stream-ex-show-program-1	eval-order-stream-ex-program-part-1
35	Sl 2	Example streams	170	eval-order-show-stream-ex-2	eval-order-stream-ex-slide-part-2
36	Pr 2	Program nummer 2 paa Example streams	40	eval-order-stream-ex-show-program-2	eval-order-stream-ex-program-part-2
37	Sl 1	Stream example: The sieve of Eratosthenes	214	eval-order-show-sieve-ex-1	eval-order-sieve-ex-slide-part-1
38	Sl 1	Applications of The sieve of Eratosthenes	151	eval-order-show-sieve-ex-more-1	eval-order-sieve-ex-more-slide-part-1

Total playing time: 1 hour, 21 minutes, 47 seconds

Generated: Friday January 3, 2014, 09:34:13