|
/9 - Section 7/
|
|
20 - Video (MP4) for Optional_ Dynamic Dispatch Manually in Racket (15_56).mp4
|
27.4 MB
|
|
4 - Video (MP4) for Object State (13_14).mp4
|
19.8 MB
|
|
3 - Video (MP4) for Classes and Objects (12_37).mp4
|
18.8 MB
|
|
6 - Video (MP4) for A Longer Example (12_19).mp4
|
18.7 MB
|
|
18 - Video (MP4) for Method-Lookup Rules, Precisely (11_31).mp4
|
17.8 MB
|
|
17 - Video (MP4) for Overriding and Dynamic Dispatch (10_56).mp4
|
17.3 MB
|
|
11 - Video (MP4) for Blocks (11_34).mp4
|
17.2 MB
|
|
10 - Video (MP4) for Arrays (11_13).mp4
|
16.7 MB
|
|
15 - Video (MP4) for Subclassing (10_11).mp4
|
15.5 MB
|
|
19 - Video (MP4) for Dynamic Dispatch Versus Closures (9_38).mp4
|
15.3 MB
|
|
2 - Video (MP4) for Introduction to Ruby (10_08).mp4
|
14.8 MB
|
|
14 - Video (MP4) for Hashes and Ranges (8_59).mp4
|
13.7 MB
|
|
7 - Video (MP4) for Everything is an Object (8_15).mp4
|
13.4 MB
|
|
5 - Video (MP4) for Visibility (8_39).mp4
|
12.8 MB
|
|
8 - Video (MP4) for Class Definitions are Dynamic (7_42).mp4
|
12.0 MB
|
|
9 - Video (MP4) for Duck Typing (7_28).mp4
|
11.5 MB
|
|
16 - Video (MP4) for Why Use Subclassing_ (7_16).mp4
|
11.0 MB
|
|
13 - Video (MP4) for Procs (7_08).mp4
|
10.7 MB
|
|
12 - Video (MP4) for Using Blocks (6_24).mp4
|
9.6 MB
|
|
1 - Video (MP4) for Section 7 Reading Notes.mp4
|
721.8 KB
|
|
1 - reading notes for Section 7 Reading Notes.pdf
|
246.0 KB
|
|
17 - slides-pdf for Overriding and Dynamic Dispatch (10_56).pdf
|
209.7 KB
|
|
20 - slides-pdf for Optional_ Dynamic Dispatch Manually in Racket (15_56).pdf
|
147.7 KB
|
|
20 - slides for Optional_ Dynamic Dispatch Manually in Racket (15_56).pptx
|
134.5 KB
|
|
12 - slides-pdf for Using Blocks (6_24).pdf
|
130.5 KB
|
|
5 - slides for Visibility (8_39).pptx
|
119.4 KB
|
|
18 - slides for Method-Lookup Rules, Precisely (11_31).pptx
|
115.6 KB
|
|
18 - slides-pdf for Method-Lookup Rules, Precisely (11_31).pdf
|
115.3 KB
|
|
5 - slides-pdf for Visibility (8_39).pdf
|
115.2 KB
|
|
16 - slides for Why Use Subclassing_ (7_16).pptx
|
114.5 KB
|
|
2 - slides for Introduction to Ruby (10_08).pptx
|
114.2 KB
|
|
4 - slides-pdf for Object State (13_14).pdf
|
114.1 KB
|
|
15 - slides for Subclassing (10_11).pptx
|
113.5 KB
|
|
3 - slides for Classes and Objects (12_37).pptx
|
112.6 KB
|
|
4 - slides for Object State (13_14).pptx
|
112.4 KB
|
|
9 - slides for Duck Typing (7_28).pptx
|
111.3 KB
|
|
17 - slides for Overriding and Dynamic Dispatch (10_56).pptx
|
111.2 KB
|
|
19 - slides for Dynamic Dispatch Versus Closures (9_38).pptx
|
111.0 KB
|
|
15 - slides-pdf for Subclassing (10_11).pdf
|
110.9 KB
|
|
11 - slides for Blocks (11_34).pptx
|
110.0 KB
|
|
13 - slides-pdf for Procs (7_08).pdf
|
109.9 KB
|
|
3 - slides-pdf for Classes and Objects (12_37).pdf
|
109.7 KB
|
|
13 - slides for Procs (7_08).pptx
|
109.5 KB
|
|
7 - slides for Everything is an Object (8_15).pptx
|
109.3 KB
|
|
2 - slides-pdf for Introduction to Ruby (10_08).pdf
|
108.9 KB
|
|
8 - slides for Class Definitions are Dynamic (7_42).pptx
|
107.5 KB
|
|
16 - slides-pdf for Why Use Subclassing_ (7_16).pdf
|
107.4 KB
|
|
19 - slides-pdf for Dynamic Dispatch Versus Closures (9_38).pdf
|
107.1 KB
|
|
11 - slides-pdf for Blocks (11_34).pdf
|
107.0 KB
|
|
14 - slides for Hashes and Ranges (8_59).pptx
|
106.9 KB
|
|
7 - slides-pdf for Everything is an Object (8_15).pdf
|
105.6 KB
|
|
10 - slides for Arrays (11_13).pptx
|
105.6 KB
|
|
12 - slides for Using Blocks (6_24).pptx
|
105.5 KB
|
|
9 - slides-pdf for Duck Typing (7_28).pdf
|
105.2 KB
|
|
8 - slides-pdf for Class Definitions are Dynamic (7_42).pdf
|
104.7 KB
|
|
6 - slides for A Longer Example (12_19).pptx
|
104.0 KB
|
|
14 - slides-pdf for Hashes and Ranges (8_59).pdf
|
99.9 KB
|
|
10 - slides-pdf for Arrays (11_13).pdf
|
93.3 KB
|
|
6 - slides-pdf for A Longer Example (12_19).pdf
|
91.0 KB
|
|
20 - Subtitles (srt) for Optional_ Dynamic Dispatch Manually in Racket (15_56).srt
|
22.5 KB
|
|
4 - Subtitles (srt) for Object State (13_14).srt
|
18.0 KB
|
|
3 - Subtitles (srt) for Classes and Objects (12_37).srt
|
17.6 KB
|
|
6 - Subtitles (srt) for A Longer Example (12_19).srt
|
17.6 KB
|
|
11 - Subtitles (srt) for Blocks (11_34).srt
|
16.7 KB
|
|
18 - Subtitles (srt) for Method-Lookup Rules, Precisely (11_31).srt
|
16.2 KB
|
|
10 - Subtitles (srt) for Arrays (11_13).srt
|
16.2 KB
|
|
2 - Subtitles (srt) for Introduction to Ruby (10_08).srt
|
16.0 KB
|
|
17 - Subtitles (srt) for Overriding and Dynamic Dispatch (10_56).srt
|
15.3 KB
|
|
20 - Subtitles (text) for Optional_ Dynamic Dispatch Manually in Racket (15_56).txt
|
14.8 KB
|
|
15 - Subtitles (srt) for Subclassing (10_11).srt
|
14.2 KB
|
|
19 - Subtitles (srt) for Dynamic Dispatch Versus Closures (9_38).srt
|
12.9 KB
|
|
14 - Subtitles (srt) for Hashes and Ranges (8_59).srt
|
12.5 KB
|
|
5 - Subtitles (srt) for Visibility (8_39).srt
|
12.4 KB
|
|
4 - Subtitles (text) for Object State (13_14).txt
|
11.9 KB
|
|
7 - Subtitles (srt) for Everything is an Object (8_15).srt
|
11.8 KB
|
|
6 - Subtitles (text) for A Longer Example (12_19).txt
|
11.8 KB
|
|
3 - Subtitles (text) for Classes and Objects (12_37).txt
|
11.6 KB
|
|
11 - Subtitles (text) for Blocks (11_34).txt
|
11.0 KB
|
|
18 - Subtitles (text) for Method-Lookup Rules, Precisely (11_31).txt
|
10.7 KB
|
|
9 - Subtitles (srt) for Duck Typing (7_28).srt
|
10.7 KB
|
|
2 - Subtitles (text) for Introduction to Ruby (10_08).txt
|
10.7 KB
|
|
10 - Subtitles (text) for Arrays (11_13).txt
|
10.6 KB
|
|
8 - Subtitles (srt) for Class Definitions are Dynamic (7_42).srt
|
10.6 KB
|
|
16 - Subtitles (srt) for Why Use Subclassing_ (7_16)
|
10.3 KB
|
|
17 - Subtitles (text) for Overriding and Dynamic Dispatch (10_56).txt
|
10.1 KB
|
|
13 - Subtitles (srt) for Procs (7_08).srt
|
10.0 KB
|
|
15 - Subtitles (text) for Subclassing (10_11).txt
|
9.5 KB
|
|
12 - Subtitles (srt) for Using Blocks (6_24).srt
|
9.1 KB
|
|
19 - Subtitles (text) for Dynamic Dispatch Versus Closures (9_38).txt
|
8.6 KB
|
|
14 - Subtitles (text) for Hashes and Ranges (8_59).txt
|
8.3 KB
|
|
5 - Subtitles (text) for Visibility (8_39).txt
|
8.3 KB
|
|
7 - Subtitles (text) for Everything is an Object (8_15).txt
|
7.7 KB
|
|
9 - Subtitles (text) for Duck Typing (7_28).txt
|
7.2 KB
|
|
8 - Subtitles (text) for Class Definitions are Dynamic (7_42).txt
|
7.0 KB
|
|
16 - Subtitles (text) for Why Use Subclassing_ (7_16)
|
7.0 KB
|
|
13 - Subtitles (text) for Procs (7_08).txt
|
6.7 KB
|
|
12 - Subtitles (text) for Using Blocks (6_24).txt
|
6.0 KB
|
|
20 - Racket code for Optional_ Dynamic Dispatch Manually in Racket (15_56).rkt
|
4.0 KB
|
|
6 - Ruby code for A Longer Example (12_19).rb
|
2.5 KB
|
|
17 - Ruby code for Overriding and Dynamic Dispatch (10_56).rb
|
1.6 KB
|
|
4 - Ruby code for Object State (13_14).rb
|
1.2 KB
|
|
15 - Ruby code for Subclassing (10_11).rb
|
1.0 KB
|
|
1 - Subtitles (srt) for Section 7 Reading Notes.srt
|
1.0 KB
|
|
10 - Ruby code for Arrays (11_13).rb
|
1.0 KB
|
|
3 - Ruby code for Classes and Objects (12_37).rb
|
0.8 KB
|
|
19 - Ruby code for Dynamic Dispatch Versus Closures (9_38).rb
|
0.7 KB
|
|
1 - Subtitles (text) for Section 7 Reading Notes.txt
|
0.7 KB
|
|
11 - Ruby code for Blocks (11_34).rb
|
0.6 KB
|
|
14 - Ruby code for Hashes and Ranges (8_59).rb
|
0.6 KB
|
|
19 - ML code for Dynamic Dispatch Versus Closures (9_38).sml
|
0.6 KB
|
|
8 - Ruby code for Class Definitions are Dynamic (7_42).rb
|
0.5 KB
|
|
12 - Ruby code for Using Blocks (6_24).rb
|
0.5 KB
|
|
13 - Ruby code for Procs (7_08).rb
|
0.4 KB
|
|
2 - Ruby code for Introduction to Ruby (10_08).rb
|
0.2 KB
|
|
/10 - Section 8/
|
|
5 - Video (MP4) for Double Dispatch (14_46).mp4
|
24.0 MB
|
|
2 - Video (MP4) for OOP Versus Functional Decomposition (12_51).mp4
|
20.3 MB
|
|
8 - Video (MP4) for Mixins (11_52).mp4
|
18.7 MB
|
|
15 - Video (MP4) for Function Subtyping (11_17).mp4
|
18.3 MB
|
|
16 - Video (MP4) for Subtyping for OOP (11_44).mp4
|
18.2 MB
|
|
3 - Video (MP4) for Adding Operations or Variants (11_08).mp4
|
18.2 MB
|
|
7 - Video (MP4) for Multiple Inheritance (10_18).mp4
|
16.4 MB
|
|
11 - Video (MP4) for Subtyping From the Beginning (10_43).mp4
|
16.3 MB
|
|
14 - Video (MP4) for Optional_ Java_C# Arrays (9_11).mp4
|
14.6 MB
|
|
13 - Video (MP4) for Depth Subtyping (8_50).mp4
|
13.6 MB
|
|
10 - Video (MP4) for Optional_ Abstract Methods (8_51).mp4
|
13.5 MB
|
|
12 - Video (MP4) for The Subtype Relation (8_20).mp4
|
13.1 MB
|
|
17 - Video (MP4) for Generics Versus Subtyping (8_16).mp4
|
13.0 MB
|
|
18 - Video (MP4) for Bounded Polymorphism (8_05).mp4
|
12.5 MB
|
|
4 - Video (MP4) for Binary Methods with Functional Decomposition (7_18).mp4
|
12.1 MB
|
|
9 - Video (MP4) for Interfaces (7_33).mp4
|
11.5 MB
|
|
6 - Video (MP4) for Optional_ Multimethods (6_36).mp4
|
9.9 MB
|
|
1 - Video (MP4) for Section 8 Reading Notes.mp4
|
721.8 KB
|
|
1 - reading notes for Section 8 Reading Notes.pdf
|
252.2 KB
|
|
13 - slides-pdf for Depth Subtyping (8_50).pdf
|
204.3 KB
|
|
15 - slides-pdf for Function Subtyping (11_17).pdf
|
134.0 KB
|
|
5 - slides-pdf for Double Dispatch (14_46).pdf
|
124.9 KB
|
|
15 - slides for Function Subtyping (11_17).pptx
|
124.7 KB
|
|
5 - slides for Double Dispatch (14_46).pptx
|
124.0 KB
|
|
7 - slides-pdf for Multiple Inheritance (10_18).pdf
|
123.6 KB
|
|
11 - slides for Subtyping From the Beginning (10_43).pptx
|
121.6 KB
|
|
18 - slides-pdf for Bounded Polymorphism (8_05).pdf
|
120.6 KB
|
|
18 - slides for Bounded Polymorphism (8_05).pptx
|
119.7 KB
|
|
2 - slides for OOP Versus Functional Decomposition (12_51).pptx
|
119.1 KB
|
|
7 - slides for Multiple Inheritance (10_18).pptx
|
118.1 KB
|
|
11 - slides-pdf for Subtyping From the Beginning (10_43).pdf
|
118.0 KB
|
|
10 - slides for Optional_ Abstract Methods (8_51).pptx
|
117.8 KB
|
|
4 - slides for Binary Methods with Functional Decomposition (7_18).pptx
|
117.8 KB
|
|
17 - slides for Generics Versus Subtyping (8_16).pptx
|
117.1 KB
|
|
2 - slides-pdf for OOP Versus Functional Decomposition (12_51).pdf
|
115.7 KB
|
|
10 - slides-pdf for Optional_ Abstract Methods (8_51).pdf
|
115.7 KB
|
|
17 - slides-pdf for Generics Versus Subtyping (8_16).pdf
|
115.6 KB
|
|
9 - slides for Interfaces (7_33).pptx
|
114.7 KB
|
|
8 - slides for Mixins (11_52).pptx
|
114.6 KB
|
|
3 - slides for Adding Operations or Variants (11_08).pptx
|
114.5 KB
|
|
16 - slides for Subtyping for OOP (11_44).pptx
|
114.3 KB
|
|
13 - slides for Depth Subtyping (8_50).pptx
|
114.3 KB
|
|
9 - slides-pdf for Interfaces (7_33).pdf
|
113.9 KB
|
|
14 - slides-pdf for Optional_ Java_C# Arrays (9_11).pdf
|
113.8 KB
|
|
14 - slides for Optional_ Java_C# Arrays (9_11).pptx
|
113.0 KB
|
|
8 - slides-pdf for Mixins (11_52).pdf
|
112.4 KB
|
|
3 - slides-pdf for Adding Operations or Variants (11_08).pdf
|
112.0 KB
|
|
16 - slides-pdf for Subtyping for OOP (11_44).pdf
|
111.2 KB
|
|
6 - slides for Optional_ Multimethods (6_36).pptx
|
109.6 KB
|
|
6 - slides-pdf for Optional_ Multimethods (6_36).pdf
|
108.8 KB
|
|
4 - slides-pdf for Binary Methods with Functional Decomposition (7_18).pdf
|
108.7 KB
|
|
12 - slides for The Subtype Relation (8_20).pptx
|
108.3 KB
|
|
12 - slides-pdf for The Subtype Relation (8_20).pdf
|
106.0 KB
|
|
5 - Subtitles (srt) for Double Dispatch (14_46).srt
|
21.3 KB
|
|
2 - Subtitles (srt) for OOP Versus Functional Decomposition (12_51).srt
|
18.8 KB
|
|
8 - Subtitles (srt) for Mixins (11_52).srt
|
17.4 KB
|
|
16 - Subtitles (srt) for Subtyping for OOP (11_44).srt
|
17.0 KB
|
|
3 - Subtitles (srt) for Adding Operations or Variants (11_08).srt
|
16.9 KB
|
|
7 - Subtitles (srt) for Multiple Inheritance (10_18).srt
|
15.1 KB
|
|
15 - Subtitles (srt) for Function Subtyping (11_17).srt
|
15.0 KB
|
|
11 - Subtitles (srt) for Subtyping From the Beginning (10_43).srt
|
14.8 KB
|
|
5 - Subtitles (text) for Double Dispatch (14_46).txt
|
13.8 KB
|
|
14 - Subtitles (srt) for Optional_ Java_C# Arrays (9_11).srt
|
13.1 KB
|
|
2 - Subtitles (text) for OOP Versus Functional Decomposition (12_51).txt
|
12.6 KB
|
|
13 - Subtitles (srt) for Depth Subtyping (8_50).srt
|
12.3 KB
|
|
17 - Subtitles (srt) for Generics Versus Subtyping (8_16).srt
|
12.3 KB
|
|
10 - Subtitles (srt) for Optional_ Abstract Methods (8_51).srt
|
12.1 KB
|
|
12 - Subtitles (srt) for The Subtype Relation (8_20).srt
|
11.9 KB
|
|
18 - Subtitles (srt) for Bounded Polymorphism (8_05).srt
|
11.8 KB
|
|
8 - Subtitles (text) for Mixins (11_52).txt
|
11.4 KB
|
|
16 - Subtitles (text) for Subtyping for OOP (11_44).txt
|
11.2 KB
|
|
4 - Subtitles (srt) for Binary Methods with Functional Decomposition (7_18).srt
|
11.2 KB
|
|
3 - Subtitles (text) for Adding Operations or Variants (11_08).txt
|
11.0 KB
|
|
9 - Subtitles (srt) for Interfaces (7_33).srt
|
10.6 KB
|
|
7 - Subtitles (text) for Multiple Inheritance (10_18).txt
|
10.0 KB
|
|
15 - Subtitles (text) for Function Subtyping (11_17).txt
|
9.9 KB
|
|
11 - Subtitles (text) for Subtyping From the Beginning (10_43).txt
|
9.7 KB
|
|
6 - Subtitles (srt) for Optional_ Multimethods (6_36).srt
|
9.6 KB
|
|
14 - Subtitles (text) for Optional_ Java_C# Arrays (9_11).txt
|
8.7 KB
|
|
17 - Subtitles (text) for Generics Versus Subtyping (8_16).txt
|
8.1 KB
|
|
10 - Subtitles (text) for Optional_ Abstract Methods (8_51).txt
|
8.1 KB
|
|
13 - Subtitles (text) for Depth Subtyping (8_50).txt
|
8.1 KB
|
|
12 - Subtitles (text) for The Subtype Relation (8_20).txt
|
7.9 KB
|
|
18 - Subtitles (text) for Bounded Polymorphism (8_05).txt
|
7.9 KB
|
|
4 - Subtitles (text) for Binary Methods with Functional Decomposition (7_18).txt
|
7.3 KB
|
|
9 - Subtitles (text) for Interfaces (7_33).txt
|
7.1 KB
|
|
6 - Subtitles (text) for Optional_ Multimethods (6_36).txt
|
6.5 KB
|
|
5 - Java code for Double Dispatch (14_46).java
|
4.4 KB
|
|
5 - Ruby code for Double Dispatch (14_46).rb
|
4.1 KB
|
|
3 - Java code for Adding Operations or Variants (11_08).java
|
2.7 KB
|
|
4 - ML code for Binary Methods with Functional Decomposition (7_18).sml
|
2.6 KB
|
|
3 - Ruby code for Adding Operations or Variants (11_08).rb
|
2.1 KB
|
|
8 - Ruby code for Mixins (11_52).rb
|
2.0 KB
|
|
3 - ML code for Adding Operations or Variants (11_08).sml
|
1.9 KB
|
|
2 - Java code for OOP Versus Functional Decomposition (12_51).java
|
1.6 KB
|
|
2 - Ruby code for OOP Versus Functional Decomposition (12_51).rb
|
1.4 KB
|
|
2 - ML code for OOP Versus Functional Decomposition (12_51).sml
|
1.1 KB
|
|
1 - Subtitles (srt) for Section 8 Reading Notes.srt
|
1.0 KB
|
|
7 - Ruby code for Multiple Inheritance (10_18).rb
|
0.9 KB
|
|
1 - Subtitles (text) for Section 8 Reading Notes.txt
|
0.7 KB
|
|
/8 - Section 6/
|
|
7 - Video (MP4) for What Your Interpreter Can and Cannot Assume (13_47).mp4
|
23.1 MB
|
|
3 - Video (MP4) for Datatype-Programming in Racket Without Structs (13_21).mp4
|
21.7 MB
|
|
17 - Video (MP4) for Static Versus Dynamic Typing, Part Two (13_47).mp4
|
20.2 MB
|
|
13 - Video (MP4) for What is Static Checking_ (10_00).mp4
|
15.8 MB
|
|
4 - Video (MP4) for Datatype-Programming in Racket With Structs (9_34).mp4
|
15.2 MB
|
|
14 - Video (MP4) for Soundness and Completeness (9_46).mp4
|
15.1 MB
|
|
6 - Video (MP4) for Implementing Programming Languages (10_07).mp4
|
15.0 MB
|
|
16 - Video (MP4) for Static Versus Dynamic Typing, Part One (9_40).mp4
|
14.7 MB
|
|
11 - Video (MP4) for Racket Functions As “Macros” For Interpreted Language (9_15).mp4
|
14.6 MB
|
|
15 - Video (MP4) for Weak Typing (9_39).mp4
|
14.4 MB
|
|
10 - Video (MP4) for Optional_ Are Closures Efficient_ (9_03).mp4
|
13.7 MB
|
|
12 - Video (MP4) for ML Versus Racket (8_53).mp4
|
13.6 MB
|
|
5 - Video (MP4) for Advantages of Structs (8_13).mp4
|
12.5 MB
|
|
18 - Video (MP4) for Optional_ eval and quote (7_58).mp4
|
12.4 MB
|
|
9 - Video (MP4) for Implementing Closures (6_32).mp4
|
10.0 MB
|
|
8 - Video (MP4) for Implementing Variables and Environments (6_29).mp4
|
9.6 MB
|
|
2 - Video (MP4) for Section Introduction (2_08).mp4
|
3.2 MB
|
|
1 - Video (MP4) for Section 6 Reading Notes.mp4
|
721.8 KB
|
|
1 - reading notes for Section 6 Reading Notes.pdf
|
243.7 KB
|
|
6 - slides-pdf for Implementing Programming Languages (10_07).pdf
|
133.8 KB
|
|
12 - slides-pdf for ML Versus Racket (8_53).pdf
|
132.8 KB
|
|
16 - slides for Static Versus Dynamic Typing, Part One (9_40).pptx
|
129.6 KB
|
|
6 - slides for Implementing Programming Languages (10_07).pptx
|
126.6 KB
|
|
18 - slides-pdf for Optional_ eval and quote (7_58).pdf
|
124.7 KB
|
|
13 - slides-pdf for What is Static Checking_ (10_00).pdf
|
123.1 KB
|
|
17 - slides-pdf for Static Versus Dynamic Typing, Part Two (13_47).pdf
|
122.3 KB
|
|
17 - slides for Static Versus Dynamic Typing, Part Two (13_47).pptx
|
122.1 KB
|
|
3 - slides for Datatype-Programming in Racket Without Structs (13_21).pptx
|
122.1 KB
|
|
4 - slides for Datatype-Programming in Racket With Structs (9_34).pptx
|
120.4 KB
|
|
3 - slides-pdf for Datatype-Programming in Racket Without Structs (13_21).pdf
|
118.4 KB
|
|
16 - slides-pdf for Static Versus Dynamic Typing, Part One (9_40).pdf
|
117.6 KB
|
|
7 - slides for What Your Interpreter Can and Cannot Assume (13_47).pptx
|
117.6 KB
|
|
5 - slides-pdf for Advantages of Structs (8_13).pdf
|
116.8 KB
|
|
5 - slides for Advantages of Structs (8_13).pptx
|
116.7 KB
|
|
4 - slides-pdf for Datatype-Programming in Racket With Structs (9_34).pdf
|
116.0 KB
|
|
12 - slides for ML Versus Racket (8_53).pptx
|
115.3 KB
|
|
11 - slides for Racket Functions As “Macros” For Interpreted Language (9_15).pptx
|
112.6 KB
|
|
13 - slides for What is Static Checking_ (10_00).pptx
|
112.0 KB
|
|
15 - slides-pdf for Weak Typing (9_39).pdf
|
111.9 KB
|
|
8 - slides-pdf for Implementing Variables and Environments (6_29).pdf
|
111.5 KB
|
|
18 - slides for Optional_ eval and quote (7_58).pptx
|
110.9 KB
|
|
14 - slides for Soundness and Completeness (9_46).pptx
|
110.9 KB
|
|
8 - slides for Implementing Variables and Environments (6_29).pptx
|
110.3 KB
|
|
15 - slides for Weak Typing (9_39).pptx
|
109.9 KB
|
|
7 - slides-pdf for What Your Interpreter Can and Cannot Assume (13_47).pdf
|
109.7 KB
|
|
10 - slides for Optional_ Are Closures Efficient_ (9_03).pptx
|
109.6 KB
|
|
9 - slides for Implementing Closures (6_32).pptx
|
109.4 KB
|
|
14 - slides-pdf for Soundness and Completeness (9_46).pdf
|
107.1 KB
|
|
10 - slides-pdf for Optional_ Are Closures Efficient_ (9_03).pdf
|
104.3 KB
|
|
2 - slides for Section Introduction (2_08).pptx
|
104.1 KB
|
|
9 - slides-pdf for Implementing Closures (6_32).pdf
|
99.5 KB
|
|
11 - slides-pdf for Racket Functions As “Macros” For Interpreted Language (9_15).pdf
|
98.1 KB
|
|
17 - Subtitles (srt) for Static Versus Dynamic Typing, Part Two (13_47).srt
|
20.8 KB
|
|
7 - Subtitles (srt) for What Your Interpreter Can and Cannot Assume (13_47).srt
|
19.3 KB
|
|
3 - Subtitles (srt) for Datatype-Programming in Racket Without Structs (13_21).srt
|
18.7 KB
|
|
6 - Subtitles (srt) for Implementing Programming Languages (10_07).srt
|
15.1 KB
|
|
13 - Subtitles (srt) for What is Static Checking_ (10_00)
|
15.1 KB
|
|
15 - Subtitles (srt) for Weak Typing (9_39).srt
|
14.3 KB
|
|
16 - Subtitles (srt) for Static Versus Dynamic Typing, Part One (9_40).srt
|
14.2 KB
|
|
17 - Subtitles (text) for Static Versus Dynamic Typing, Part Two (13_47).txt
|
13.9 KB
|
|
12 - Subtitles (srt) for ML Versus Racket (8_53).srt
|
13.7 KB
|
|
14 - Subtitles (srt) for Soundness and Completeness (9_46).srt
|
13.5 KB
|
|
3 - Subtitles (text) for Datatype-Programming in Racket Without Structs (13_21).txt
|
13.1 KB
|
|
10 - Subtitles (srt) for Optional_ Are Closures Efficient_ (9_03)
|
13.1 KB
|
|
7 - Subtitles (text) for What Your Interpreter Can and Cannot Assume (13_47).txt
|
12.8 KB
|
|
4 - Subtitles (srt) for Datatype-Programming in Racket With Structs (9_34).srt
|
12.4 KB
|
|
11 - Subtitles (srt) for Racket Functions As “Macros” For Interpreted Language (9_15).srt
|
11.9 KB
|
|
18 - Subtitles (srt) for Optional_ eval and quote (7_58).srt
|
11.7 KB
|
|
5 - Subtitles (srt) for Advantages of Structs (8_13).srt
|
11.3 KB
|
|
6 - Subtitles (text) for Implementing Programming Languages (10_07).txt
|
10.1 KB
|
|
13 - Subtitles (text) for What is Static Checking_ (10_00)
|
10.0 KB
|
|
15 - Subtitles (text) for Weak Typing (9_39).txt
|
9.5 KB
|
|
8 - Subtitles (srt) for Implementing Variables and Environments (6_29).srt
|
9.5 KB
|
|
16 - Subtitles (text) for Static Versus Dynamic Typing, Part One (9_40).txt
|
9.4 KB
|
|
9 - Subtitles (srt) for Implementing Closures (6_32).srt
|
9.3 KB
|
|
12 - Subtitles (text) for ML Versus Racket (8_53).txt
|
9.1 KB
|
|
14 - Subtitles (text) for Soundness and Completeness (9_46).txt
|
9.1 KB
|
|
10 - Subtitles (text) for Optional_ Are Closures Efficient_ (9_03)
|
8.7 KB
|
|
4 - Subtitles (text) for Datatype-Programming in Racket With Structs (9_34).txt
|
8.7 KB
|
|
11 - Subtitles (text) for Racket Functions As “Macros” For Interpreted Language (9_15).txt
|
7.9 KB
|
|
18 - Subtitles (text) for Optional_ eval and quote (7_58).txt
|
7.9 KB
|
|
5 - Subtitles (text) for Advantages of Structs (8_13).txt
|
7.5 KB
|
|
8 - Subtitles (text) for Implementing Variables and Environments (6_29).txt
|
6.3 KB
|
|
9 - Subtitles (text) for Implementing Closures (6_32).txt
|
6.1 KB
|
|
7 - Racket code for What Your Interpreter Can and Cannot Assume (13_47).rkt
|
3.9 KB
|
|
2 - Subtitles (srt) for Section Introduction (2_08).srt
|
3.3 KB
|
|
11 - Racket code for Racket Functions As “Macros” For Interpreted Language (9_15).rkt
|
3.2 KB
|
|
3 - Racket code for Datatype-Programming in Racket Without Structs (13_21).rkt
|
2.7 KB
|
|
2 - Subtitles (text) for Section Introduction (2_08).txt
|
2.3 KB
|
|
3 - ML code for Datatype-Programming in Racket Without Structs (13_21).sml
|
1.6 KB
|
|
1 - Subtitles (srt) for Section 6 Reading Notes.srt
|
1.0 KB
|
|
16 - ML code for Static Versus Dynamic Typing, Part One (9_40).sml
|
1.0 KB
|
|
4 - Racket code for Datatype-Programming in Racket With Structs (9_34).rkt
|
0.9 KB
|
|
16 - Racket code for Static Versus Dynamic Typing, Part One (9_40).rkt
|
0.8 KB
|
|
1 - Subtitles (text) for Section 6 Reading Notes.txt
|
0.7 KB
|
|
18 - Racket code for Optional_ eval and quote (7_58).rkt
|
0.5 KB
|
|
/3 - Section 2/
|
|
13 - Video (MP4) for Each of Pattern Matching _ Truth About Functions (14_30).mp4
|
21.3 MB
|
|
7 - Video (MP4) for Useful Datatypes (11_22).mp4
|
16.9 MB
|
|
6 - Video (MP4) for Case Expressions (10_50).mp4
|
16.6 MB
|
|
16 - Video (MP4) for Nested Patterns (10_32).mp4
|
16.2 MB
|
|
17 - Video (MP4) for More Nested Patterns (10_43).mp4
|
15.1 MB
|
|
21 - Video (MP4) for Tail Recursion (9_44).mp4
|
14.2 MB
|
|
5 - Video (MP4) for Datatype Bindings (8_39).mp4
|
13.2 MB
|
|
11 - Video (MP4) for Lists and Options are Datatypes (9_10).mp4
|
13.2 MB
|
|
12 - Video (MP4) for Polymorphic Datatypes (8_11).mp4
|
12.6 MB
|
|
9 - Video (MP4) for Another Expression Example (8_01).mp4
|
12.5 MB
|
|
3 - Video (MP4) for Records (8_25).mp4
|
12.3 MB
|
|
15 - Video (MP4) for Polymorphic and Equality Types (8_00).mp4
|
12.0 MB
|
|
20 - Video (MP4) for Exceptions (7_47).mp4
|
11.8 MB
|
|
22 - Video (MP4) for Accumulators for Tail Recursion (7_39).mp4
|
11.1 MB
|
|
14 - Video (MP4) for A Little Type Inference (6_28).mp4
|
10.3 MB
|
|
18 - Video (MP4) for Nested Patterns Precisely (6_35).mp4
|
10.1 MB
|
|
10 - Video (MP4) for Type Synonyms (6_19).mp4
|
9.8 MB
|
|
4 - Video (MP4) for Tuples as Syntactic Sugar (6_06).mp4
|
9.1 MB
|
|
2 - Video (MP4) for Building Compound Types (5_34).mp4
|
8.3 MB
|
|
23 - Video (MP4) for Perspective on Tail Recursion (5_33).mp4
|
8.2 MB
|
|
8 - Video (MP4) for Pattern Matching So Far (4_37).mp4
|
6.6 MB
|
|
19 - Video (MP4) for Optional_ Function Patterns (3_40).mp4
|
5.7 MB
|
|
1 - Video (MP4) for Section 2 Reading Notes.mp4
|
721.8 KB
|
|
1 - reading notes for Section 2 Reading Notes.pdf
|
250.0 KB
|
|
5 - slides-pdf for Datatype Bindings (8_39).pdf
|
167.7 KB
|
|
13 - slides-pdf for Each of Pattern Matching _ Truth About Functions (14_30).pdf
|
139.2 KB
|
|
13 - slides for Each of Pattern Matching _ Truth About Functions (14_30).pptx
|
131.2 KB
|
|
21 - slides-pdf for Tail Recursion (9_44).pdf
|
126.1 KB
|
|
21 - slides for Tail Recursion (9_44).pptx
|
122.0 KB
|
|
7 - slides for Useful Datatypes (11_22).pptx
|
118.1 KB
|
|
22 - slides for Accumulators for Tail Recursion (7_39).pptx
|
116.9 KB
|
|
15 - slides for Polymorphic and Equality Types (8_00).pptx
|
115.8 KB
|
|
7 - slides-pdf for Useful Datatypes (11_22).pdf
|
113.4 KB
|
|
11 - slides for Lists and Options are Datatypes (9_10).pptx
|
113.2 KB
|
|
3 - slides for Records (8_25).pptx
|
112.5 KB
|
|
15 - slides-pdf for Polymorphic and Equality Types (8_00).pdf
|
111.5 KB
|
|
14 - slides for A Little Type Inference (6_28).pptx
|
111.2 KB
|
|
5 - slides for Datatype Bindings (8_39).pptx
|
110.9 KB
|
|
12 - slides-pdf for Polymorphic Datatypes (8_11).pdf
|
110.2 KB
|
|
6 - slides for Case Expressions (10_50).pptx
|
110.0 KB
|
|
8 - slides for Pattern Matching So Far (4_37).pptx
|
110.0 KB
|
|
12 - slides for Polymorphic Datatypes (8_11).pptx
|
109.1 KB
|
|
8 - slides-pdf for Pattern Matching So Far (4_37).pdf
|
108.7 KB
|
|
19 - slides for Optional_ Function Patterns (3_40).pptx
|
108.5 KB
|
|
11 - slides-pdf for Lists and Options are Datatypes (9_10).pdf
|
108.4 KB
|
|
2 - slides for Building Compound Types (5_34).pptx
|
108.3 KB
|
|
20 - slides for Exceptions (7_47).pptx
|
107.7 KB
|
|
23 - slides for Perspective on Tail Recursion (5_33).pptx
|
107.6 KB
|
|
16 - slides for Nested Patterns (10_32).pptx
|
107.2 KB
|
|
3 - slides-pdf for Records (8_25).pdf
|
107.1 KB
|
|
10 - slides for Type Synonyms (6_19).pptx
|
106.7 KB
|
|
6 - slides-pdf for Case Expressions (10_50).pdf
|
106.7 KB
|
|
4 - slides for Tuples as Syntactic Sugar (6_06).pptx
|
106.4 KB
|
|
18 - slides for Nested Patterns Precisely (6_35).pptx
|
105.9 KB
|
|
22 - slides-pdf for Accumulators for Tail Recursion (7_39).pdf
|
105.8 KB
|
|
4 - slides-pdf for Tuples as Syntactic Sugar (6_06).pdf
|
105.3 KB
|
|
9 - slides for Another Expression Example (8_01).pptx
|
105.2 KB
|
|
14 - slides-pdf for A Little Type Inference (6_28).pdf
|
104.2 KB
|
|
17 - slides for More Nested Patterns (10_43).pptx
|
104.0 KB
|
|
2 - slides-pdf for Building Compound Types (5_34).pdf
|
103.1 KB
|
|
16 - slides-pdf for Nested Patterns (10_32).pdf
|
100.0 KB
|
|
23 - slides-pdf for Perspective on Tail Recursion (5_33).pdf
|
99.8 KB
|
|
10 - slides-pdf for Type Synonyms (6_19).pdf
|
99.4 KB
|
|
20 - slides-pdf for Exceptions (7_47).pdf
|
97.6 KB
|
|
19 - slides-pdf for Optional_ Function Patterns (3_40).pdf
|
96.8 KB
|
|
9 - slides-pdf for Another Expression Example (8_01).pdf
|
95.8 KB
|
|
18 - slides-pdf for Nested Patterns Precisely (6_35).pdf
|
93.1 KB
|
|
17 - slides-pdf for More Nested Patterns (10_43).pdf
|
91.7 KB
|
|
13 - Subtitles (srt) for Each of Pattern Matching _ Truth About Functions (14_30).srt
|
19.8 KB
|
|
7 - Subtitles (srt) for Useful Datatypes (11_22).srt
|
15.9 KB
|
|
6 - Subtitles (srt) for Case Expressions (10_50).srt
|
14.6 KB
|
|
17 - Subtitles (srt) for More Nested Patterns (10_43).srt
|
14.1 KB
|
|
16 - Subtitles (srt) for Nested Patterns (10_32).srt
|
14.0 KB
|
|
13 - Subtitles (text) for Each of Pattern Matching _ Truth About Functions (14_30).txt
|
13.8 KB
|
|
21 - Subtitles (srt) for Tail Recursion (9_44).srt
|
13.3 KB
|
|
11 - Subtitles (srt) for Lists and Options are Datatypes (9_10).srt
|
13.0 KB
|
|
3 - Subtitles (srt) for Records (8_25).srt
|
12.0 KB
|
|
5 - Subtitles (srt) for Datatype Bindings (8_39).srt
|
11.3 KB
|
|
12 - Subtitles (srt) for Polymorphic Datatypes (8_11).srt
|
11.1 KB
|
|
7 - Subtitles (text) for Useful Datatypes (11_22).txt
|
11.1 KB
|
|
15 - Subtitles (srt) for Polymorphic and Equality Types (8_00).srt
|
11.0 KB
|
|
9 - Subtitles (srt) for Another Expression Example (8_01).srt
|
11.0 KB
|
|
20 - Subtitles (srt) for Exceptions (7_47).srt
|
10.3 KB
|
|
6 - Subtitles (text) for Case Expressions (10_50).txt
|
10.3 KB
|
|
17 - Subtitles (text) for More Nested Patterns (10_43).txt
|
9.9 KB
|
|
22 - Subtitles (srt) for Accumulators for Tail Recursion (7_39).srt
|
9.9 KB
|
|
16 - Subtitles (text) for Nested Patterns (10_32).txt
|
9.8 KB
|
|
21 - Subtitles (text) for Tail Recursion (9_44).txt
|
9.2 KB
|
|
11 - Subtitles (text) for Lists and Options are Datatypes (9_10).txt
|
9.1 KB
|
|
10 - Subtitles (srt) for Type Synonyms (6_19).srt
|
8.7 KB
|
|
18 - Subtitles (srt) for Nested Patterns Precisely (6_35).srt
|
8.7 KB
|
|
14 - Subtitles (srt) for A Little Type Inference (6_28).srt
|
8.5 KB
|
|
3 - Subtitles (text) for Records (8_25).txt
|
8.5 KB
|
|
5 - Subtitles (text) for Datatype Bindings (8_39).txt
|
7.9 KB
|
|
12 - Subtitles (text) for Polymorphic Datatypes (8_11).txt
|
7.8 KB
|
|
2 - Subtitles (srt) for Building Compound Types (5_34).srt
|
7.8 KB
|
|
15 - Subtitles (text) for Polymorphic and Equality Types (8_00).txt
|
7.8 KB
|
|
9 - Subtitles (text) for Another Expression Example (8_01).txt
|
7.7 KB
|
|
4 - Subtitles (srt) for Tuples as Syntactic Sugar (6_06).srt
|
7.7 KB
|
|
20 - Subtitles (text) for Exceptions (7_47).txt
|
7.3 KB
|
|
23 - Subtitles (srt) for Perspective on Tail Recursion (5_33).srt
|
7.2 KB
|
|
22 - Subtitles (text) for Accumulators for Tail Recursion (7_39).txt
|
7.0 KB
|
|
8 - Subtitles (srt) for Pattern Matching So Far (4_37).srt
|
6.4 KB
|
|
10 - Subtitles (text) for Type Synonyms (6_19).txt
|
6.1 KB
|
|
18 - Subtitles (text) for Nested Patterns Precisely (6_35).txt
|
6.1 KB
|
|
14 - Subtitles (text) for A Little Type Inference (6_28).txt
|
6.0 KB
|
|
2 - Subtitles (text) for Building Compound Types (5_34).txt
|
5.5 KB
|
|
4 - Subtitles (text) for Tuples as Syntactic Sugar (6_06).txt
|
5.4 KB
|
|
23 - Subtitles (text) for Perspective on Tail Recursion (5_33).txt
|
5.1 KB
|
|
19 - Subtitles (srt) for Optional_ Function Patterns (3_40).srt
|
4.8 KB
|
|
8 - Subtitles (text) for Pattern Matching So Far (4_37).txt
|
4.5 KB
|
|
19 - Subtitles (text) for Optional_ Function Patterns (3_40).txt
|
3.4 KB
|
|
12 - ML code for Polymorphic Datatypes (8_11).sml
|
1.3 KB
|
|
9 - ML code for Another Expression Example (8_01).sml
|
1.2 KB
|
|
16 - ML code for Nested Patterns (10_32).sml
|
1.2 KB
|
|
7 - ML code for Useful Datatypes (11_22).sml
|
1.0 KB
|
|
10 - ML code for Type Synonyms (6_19).sml
|
1.0 KB
|
|
1 - Subtitles (srt) for Section 2 Reading Notes.srt
|
1.0 KB
|
|
17 - ML code for More Nested Patterns (10_43).sml
|
0.9 KB
|
|
13 - ML code for Each of Pattern Matching _ Truth About Functions (14_30).sml
|
0.9 KB
|
|
20 - ML code for Exceptions (7_47).sml
|
0.8 KB
|
|
14 - ML code for A Little Type Inference (6_28).sml
|
0.8 KB
|
|
19 - ML code for Optional_ Function Patterns (3_40).sml
|
0.7 KB
|
|
11 - ML code for Lists and Options are Datatypes (9_10).sml
|
0.7 KB
|
|
1 - Subtitles (text) for Section 2 Reading Notes.txt
|
0.7 KB
|
|
4 - ML code for Tuples as Syntactic Sugar (6_06).sml
|
0.6 KB
|
|
22 - ML code for Accumulators for Tail Recursion (7_39).sml
|
0.6 KB
|
|
15 - ML code for Polymorphic and Equality Types (8_00).sml
|
0.5 KB
|
|
5 - ML code for Datatype Bindings (8_39).sml
|
0.5 KB
|
|
6 - ML code for Case Expressions (10_50).sml
|
0.4 KB
|
|
3 - ML code for Records (8_25).sml
|
0.3 KB
|
|
21 - ML code for Tail Recursion (9_44).sml
|
0.3 KB
|
|
/2 - Section 1/
|
|
4 - Video (MP4) for ML Variable Bindings and Expressions (14_32).mp4
|
21.1 MB
|
|
6 - Video (MP4) for The REPL and Errors (12_10).mp4
|
19.4 MB
|
|
2 - Video (MP4) for Course Introduction_ About the Course (12_34).mp4
|
17.7 MB
|
|
3 - Video (MP4) for Course Introduction_ About Programming Languages (12_04).mp4
|
16.9 MB
|
|
12 - Video (MP4) for List Functions (11_21).mp4
|
16.4 MB
|
|
11 - Video (MP4) for Introducing Lists (10_34).mp4
|
15.9 MB
|
|
15 - Video (MP4) for Let and Efficiency (10_10).mp4
|
15.5 MB
|
|
16 - Video (MP4) for Options (9_09).mp4
|
13.7 MB
|
|
9 - Video (MP4) for Functions Formally (8_56).mp4
|
13.4 MB
|
|
10 - Video (MP4) for Pairs and Other Tuples (9_16).mp4
|
13.2 MB
|
|
5 - Video (MP4) for Rules for Expressions (9_13).mp4
|
12.9 MB
|
|
18 - Video (MP4) for Benefits of No Mutation (7_24).mp4
|
11.4 MB
|
|
14 - Video (MP4) for Nested Functions (7_38).mp4
|
11.3 MB
|
|
13 - Video (MP4) for Let Expressions (7_51).mp4
|
11.2 MB
|
|
8 - Video (MP4) for Functions Informally (7_37).mp4
|
10.9 MB
|
|
17 - Video (MP4) for Booleans and Comparison Operations (7_00).mp4
|
10.5 MB
|
|
7 - Video (MP4) for Shadowing (6_49).mp4
|
9.6 MB
|
|
20 - Video (MP4) for Pieces of a Language (6_02).mp4
|
9.2 MB
|
|
19 - Video (MP4) for Optional_ Java Mutation (4_44).mp4
|
7.6 MB
|
|
1 - Video (MP4) for Section 1 Reading Notes.mp4
|
721.8 KB
|
|
2 - slides for Course Introduction_ About the Course (12_34).pptx
|
442.7 KB
|
|
2 - slides (pdf) for Course Introduction_ About the Course (12_34).pdf
|
424.1 KB
|
|
15 - slides-pdf for Let and Efficiency (10_10).pdf
|
235.3 KB
|
|
1 - reading notes for Section 1 Reading Notes.pdf
|
226.9 KB
|
|
18 - slides-pdf for Benefits of No Mutation (7_24).pdf
|
143.6 KB
|
|
13 - slides-pdf for Let Expressions (7_51).pdf
|
132.7 KB
|
|
5 - slides-pdf for Rules for Expressions (9_13).pdf
|
129.5 KB
|
|
9 - slides-pdf for Functions Formally (8_56).pdf
|
129.5 KB
|
|
19 - slides-pdf for Optional_ Java Mutation (4_44).pdf
|
129.1 KB
|
|
15 - slides for Let and Efficiency (10_10).pptx
|
124.4 KB
|
|
4 - slides-pdf for ML Variable Bindings and Expressions (14_32).pdf
|
124.3 KB
|
|
18 - slides for Benefits of No Mutation (7_24).pptx
|
121.6 KB
|
|
5 - slides for Rules for Expressions (9_13).pptx
|
121.0 KB
|
|
10 - slides-pdf for Pairs and Other Tuples (9_16).pdf
|
120.9 KB
|
|
10 - slides for Pairs and Other Tuples (9_16).pptx
|
118.4 KB
|
|
3 - slides for Course Introduction_ About Programming Languages (12_04).pptx
|
115.8 KB
|
|
9 - slides for Functions Formally (8_56).pptx
|
114.9 KB
|
|
17 - slides for Booleans and Comparison Operations (7_00).pptx
|
114.1 KB
|
|
13 - slides for Let Expressions (7_51).pptx
|
114.1 KB
|
|
11 - slides for Introducing Lists (10_34).pptx
|
113.8 KB
|
|
8 - slides-pdf for Functions Informally (7_37).pdf
|
112.7 KB
|
|
14 - slides for Nested Functions (7_38).pptx
|
112.5 KB
|
|
16 - slides for Options (9_09).pptx
|
112.4 KB
|
|
4 - slides for ML Variable Bindings and Expressions (14_32).pptx
|
112.4 KB
|
|
8 - slides for Functions Informally (7_37).pptx
|
112.3 KB
|
|
17 - slides-pdf for Booleans and Comparison Operations (7_00).pdf
|
112.1 KB
|
|
12 - slides for List Functions (11_21).pptx
|
111.8 KB
|
|
14 - slides-pdf for Nested Functions (7_38).pdf
|
111.7 KB
|
|
7 - slides for Shadowing (6_49).pptx
|
111.3 KB
|
|
19 - slides for Optional_ Java Mutation (4_44).pptx
|
110.8 KB
|
|
6 - slides for The REPL and Errors (12_10).pptx
|
110.4 KB
|
|
11 - slides-pdf for Introducing Lists (10_34).pdf
|
109.1 KB
|
|
20 - slides for Pieces of a Language (6_02).pptx
|
106.0 KB
|
|
16 - slides-pdf for Options (9_09).pdf
|
105.5 KB
|
|
7 - slides-pdf for Shadowing (6_49).pdf
|
105.3 KB
|
|
3 - slides (pdf) for Course Introduction_ About Programming Languages (12_04).pdf
|
103.5 KB
|
|
12 - slides-pdf for List Functions (11_21).pdf
|
103.4 KB
|
|
6 - slides-pdf for The REPL and Errors (12_10).pdf
|
100.9 KB
|
|
20 - slides-pdf for Pieces of a Language (6_02).pdf
|
86.0 KB
|
|
2 - Subtitles (srt) for Course Introduction_ About the Course (12_34).srt
|
20.4 KB
|
|
4 - Subtitles (srt) for ML Variable Bindings and Expressions (14_32).srt
|
18.9 KB
|
|
3 - Subtitles (srt) for Course Introduction_ About Programming Languages (12_04).srt
|
17.8 KB
|
|
6 - Subtitles (srt) for The REPL and Errors (12_10).srt
|
17.4 KB
|
|
12 - Subtitles (srt) for List Functions (11_21).srt
|
14.9 KB
|
|
11 - Subtitles (srt) for Introducing Lists (10_34).srt
|
14.3 KB
|
|
2 - Subtitles (text) for Course Introduction_ About the Course (12_34).txt
|
14.3 KB
|
|
15 - Subtitles (srt) for Let and Efficiency (10_10).srt
|
13.5 KB
|
|
4 - Subtitles (text) for ML Variable Bindings and Expressions (14_32).txt
|
13.2 KB
|
|
5 - Subtitles (srt) for Rules for Expressions (9_13).srt
|
12.5 KB
|
|
3 - Subtitles (text) for Course Introduction_ About Programming Languages (12_04).txt
|
12.5 KB
|
|
10 - Subtitles (srt) for Pairs and Other Tuples (9_16).srt
|
12.4 KB
|
|
6 - Subtitles (text) for The REPL and Errors (12_10).txt
|
12.2 KB
|
|
16 - Subtitles (srt) for Options (9_09).srt
|
12.2 KB
|
|
9 - Subtitles (srt) for Functions Formally (8_56).srt
|
11.9 KB
|
|
13 - Subtitles (srt) for Let Expressions (7_51).srt
|
11.2 KB
|
|
14 - Subtitles (srt) for Nested Functions (7_38).srt
|
10.8 KB
|
|
12 - Subtitles (text) for List Functions (11_21).txt
|
10.5 KB
|
|
18 - Subtitles (srt) for Benefits of No Mutation (7_24).srt
|
10.3 KB
|
|
8 - Subtitles (srt) for Functions Informally (7_37).srt
|
10.2 KB
|
|
11 - Subtitles (text) for Introducing Lists (10_34).txt
|
10.1 KB
|
|
17 - Subtitles (srt) for Booleans and Comparison Operations (7_00).srt
|
9.9 KB
|
|
15 - Subtitles (text) for Let and Efficiency (10_10).txt
|
9.5 KB
|
|
20 - Subtitles (srt) for Pieces of a Language (6_02).srt
|
9.1 KB
|
|
5 - Subtitles (text) for Rules for Expressions (9_13).txt
|
8.8 KB
|
|
10 - Subtitles (text) for Pairs and Other Tuples (9_16).txt
|
8.7 KB
|
|
7 - Subtitles (srt) for Shadowing (6_49).srt
|
8.6 KB
|
|
16 - Subtitles (text) for Options (9_09).txt
|
8.5 KB
|
|
9 - Subtitles (text) for Functions Formally (8_56).txt
|
8.4 KB
|
|
13 - Subtitles (text) for Let Expressions (7_51).txt
|
7.9 KB
|
|
14 - Subtitles (text) for Nested Functions (7_38).txt
|
7.6 KB
|
|
18 - Subtitles (text) for Benefits of No Mutation (7_24).txt
|
7.2 KB
|
|
8 - Subtitles (text) for Functions Informally (7_37).txt
|
7.1 KB
|
|
17 - Subtitles (text) for Booleans and Comparison Operations (7_00).txt
|
7.0 KB
|
|
20 - Subtitles (text) for Pieces of a Language (6_02).txt
|
6.4 KB
|
|
19 - Subtitles (srt) for Optional_ Java Mutation (4_44).srt
|
6.4 KB
|
|
7 - Subtitles (text) for Shadowing (6_49).txt
|
6.1 KB
|
|
19 - Subtitles (text) for Optional_ Java Mutation (4_44).txt
|
4.5 KB
|
|
11 - REPL interactions for Introducing Lists (10_34).txt
|
2.5 KB
|
|
4 - ML code for ML Variable Bindings and Expressions (14_32).sml
|
1.1 KB
|
|
16 - ML code for Options (9_09).sml
|
1.1 KB
|
|
12 - ML code for List Functions (11_21).sml
|
1.0 KB
|
|
1 - Subtitles (srt) for Section 1 Reading Notes.srt
|
1.0 KB
|
|
15 - ML code for Let and Efficiency (10_10).sml
|
0.9 KB
|
|
10 - ML code for Pairs and Other Tuples (9_16).sml
|
0.7 KB
|
|
1 - Subtitles (text) for Section 1 Reading Notes.txt
|
0.7 KB
|
|
3 - Java example for Course Introduction_ About Programming Languages (12_04).java
|
0.6 KB
|
|
14 - ML code for Nested Functions (7_38).sml
|
0.5 KB
|
|
6 - ML fixed for The REPL and Errors (12_10).sml
|
0.3 KB
|
|
13 - ML code for Let Expressions (7_51).sml
|
0.3 KB
|
|
8 - ML code for Functions Informally (7_37).sml
|
0.3 KB
|
|
6 - ML errors for The REPL and Errors (12_10).sml
|
0.3 KB
|
|
7 - ML code for Shadowing (6_49).sml
|
0.3 KB
|
|
/7 - Section 5/
|
|
9 - Video (MP4) for Local Bindings (13_11).mp4
|
19.4 MB
|
|
6 - Video (MP4) for Parentheses Matter! (Debugging Practice) (10_50).mp4
|
16.6 MB
|
|
14 - Video (MP4) for Delayed Evaluation and Thunks (10_12).mp4
|
16.5 MB
|
|
18 - Video (MP4) for Defining Streams (10_49).mp4
|
16.4 MB
|
|
23 - Video (MP4) for Optional_ Variables, Macros, and Hygiene (10_52).mp4
|
16.2 MB
|
|
19 - Video (MP4) for Memoization (10_17).mp4
|
16.1 MB
|
|
17 - Video (MP4) for Using Streams (10_10).mp4
|
16.0 MB
|
|
22 - Video (MP4) for Optional_ Racket Macros With define-syntax (9_25).mp4
|
14.8 MB
|
|
7 - Video (MP4) for Dynamic Typing (9_36).mp4
|
14.8 MB
|
|
3 - Video (MP4) for Racket Definitions, Functions, Conditionals (10_14).mp4
|
14.6 MB
|
|
16 - Video (MP4) for Delay and Force (9_18).mp4
|
14.3 MB
|
|
24 - Video (MP4) for Optional_ More Macros Examples (9_12).mp4
|
14.3 MB
|
|
8 - Video (MP4) for Cond (8_52).mp4
|
13.2 MB
|
|
4 - Video (MP4) for Racket Lists (9_07).mp4
|
13.2 MB
|
|
20 - Video (MP4) for Macros_ The Key Points (8_52).mp4
|
12.9 MB
|
|
2 - Video (MP4) for Introduction to Racket (8_23).mp4
|
12.8 MB
|
|
5 - Video (MP4) for Syntax and Parentheses (8_36).mp4
|
12.8 MB
|
|
11 - Video (MP4) for Mutation with set! (8_28).mp4
|
12.6 MB
|
|
12 - Video (MP4) for The Truth About Cons (7_46).mp4
|
11.9 MB
|
|
13 - Video (MP4) for mcons For Mutable Pairs (7_38).mp4
|
11.2 MB
|
|
21 - Video (MP4) for Optional_ Tokenization, Parenthesization, and Scope (7_30).mp4
|
11.0 MB
|
|
15 - Video (MP4) for Avoiding Unnecessary Computations (6_48).mp4
|
10.7 MB
|
|
10 - Video (MP4) for Toplevel Bindings (4_54).mp4
|
7.3 MB
|
|
1 - Video (MP4) for Section 5 Reading Notes.mp4
|
721.8 KB
|
|
1 - reading notes for Section 5 Reading Notes.pdf
|
213.2 KB
|
|
11 - slides-pdf for Mutation with set! (8_28).pdf
|
188.2 KB
|
|
21 - slides-pdf for Optional_ Tokenization, Parenthesization, and Scope (7_30).pdf
|
167.0 KB
|
|
17 - slides-pdf for Using Streams (10_10).pdf
|
166.3 KB
|
|
8 - slides-pdf for Cond (8_52).pdf
|
152.4 KB
|
|
23 - slides for Optional_ Variables, Macros, and Hygiene (10_52).pptx
|
123.9 KB
|
|
22 - slides-pdf for Optional_ Racket Macros With define-syntax (9_25).pdf
|
122.2 KB
|
|
22 - slides for Optional_ Racket Macros With define-syntax (9_25).pptx
|
121.2 KB
|
|
9 - slides for Local Bindings (13_11).pptx
|
119.3 KB
|
|
9 - slides-pdf for Local Bindings (13_11).pdf
|
118.3 KB
|
|
3 - slides for Racket Definitions, Functions, Conditionals (10_14).pptx
|
117.6 KB
|
|
21 - slides for Optional_ Tokenization, Parenthesization, and Scope (7_30).pptx
|
117.5 KB
|
|
11 - slides for Mutation with set! (8_28).pptx
|
115.7 KB
|
|
20 - slides for Macros_ The Key Points (8_52).pptx
|
113.8 KB
|
|
6 - slides for Parentheses Matter! (Debugging Practice) (10_50).pptx
|
113.6 KB
|
|
5 - slides for Syntax and Parentheses (8_36).pptx
|
113.2 KB
|
|
20 - slides-pdf for Macros_ The Key Points (8_52).pdf
|
112.3 KB
|
|
23 - slides-pdf for Optional_ Variables, Macros, and Hygiene (10_52).pdf
|
112.3 KB
|
|
5 - slides-pdf for Syntax and Parentheses (8_36).pdf
|
112.0 KB
|
|
13 - slides-pdf for mcons For Mutable Pairs (7_38).pdf
|
111.7 KB
|
|
16 - slides for Delay and Force (9_18).pptx
|
111.6 KB
|
|
14 - slides for Delayed Evaluation and Thunks (10_12).pptx
|
111.6 KB
|
|
8 - slides for Cond (8_52).pptx
|
111.4 KB
|
|
18 - slides for Defining Streams (10_49).pptx
|
110.6 KB
|
|
18 - slides-pdf for Defining Streams (10_49).pdf
|
110.1 KB
|
|
17 - slides for Using Streams (10_10).pptx
|
109.4 KB
|
|
2 - slides for Introduction to Racket (8_23).pptx
|
109.2 KB
|
|
13 - slides for mcons For Mutable Pairs (7_38).pptx
|
108.6 KB
|
|
14 - slides-pdf for Delayed Evaluation and Thunks (10_12).pdf
|
108.2 KB
|
|
12 - slides-pdf for The Truth About Cons (7_46).pdf
|
108.2 KB
|
|
19 - slides for Memoization (10_17).pptx
|
107.8 KB
|
|
10 - slides for Toplevel Bindings (4_54).pptx
|
107.7 KB
|
|
12 - slides for The Truth About Cons (7_46).pptx
|
107.6 KB
|
|
15 - slides for Avoiding Unnecessary Computations (6_48).pptx
|
107.4 KB
|
|
4 - slides for Racket Lists (9_07).pptx
|
107.1 KB
|
|
7 - slides for Dynamic Typing (9_36).pptx
|
106.8 KB
|
|
3 - slides-pdf for Racket Definitions, Functions, Conditionals (10_14).pdf
|
106.1 KB
|
|
10 - slides-pdf for Toplevel Bindings (4_54).pdf
|
105.4 KB
|
|
16 - slides-pdf for Delay and Force (9_18).pdf
|
104.3 KB
|
|
24 - slides for Optional_ More Macros Examples (9_12).pptx
|
104.1 KB
|
|
2 - slides-pdf for Introduction to Racket (8_23).pdf
|
101.3 KB
|
|
19 - slides-pdf for Memoization (10_17).pdf
|
99.4 KB
|
|
7 - slides-pdf for Dynamic Typing (9_36).pdf
|
98.8 KB
|
|
4 - slides-pdf for Racket Lists (9_07).pdf
|
96.5 KB
|
|
6 - slides-pdf for Parentheses Matter! (Debugging Practice) (10_50).pdf
|
96.1 KB
|
|
15 - slides-pdf for Avoiding Unnecessary Computations (6_48).pdf
|
94.3 KB
|
|
24 - slides-pdf for Optional_ More Macros Examples (9_12).pdf
|
87.3 KB
|
|
9 - Subtitles (srt) for Local Bindings (13_11).srt
|
17.7 KB
|
|
23 - Subtitles (srt) for Optional_ Variables, Macros, and Hygiene (10_52).srt
|
14.4 KB
|
|
6 - Subtitles (srt) for Parentheses Matter! (Debugging Practice) (10_50).srt
|
13.9 KB
|
|
19 - Subtitles (srt) for Memoization (10_17).srt
|
13.8 KB
|
|
3 - Subtitles (srt) for Racket Definitions, Functions, Conditionals (10_14).srt
|
13.1 KB
|
|
18 - Subtitles (srt) for Defining Streams (10_49).srt
|
13.0 KB
|
|
7 - Subtitles (srt) for Dynamic Typing (9_36).srt
|
12.8 KB
|
|
17 - Subtitles (srt) for Using Streams (10_10).srt
|
12.8 KB
|
|
14 - Subtitles (srt) for Delayed Evaluation and Thunks (10_12).srt
|
12.7 KB
|
|
4 - Subtitles (srt) for Racket Lists (9_07).srt
|
12.4 KB
|
|
9 - Subtitles (text) for Local Bindings (13_11).txt
|
12.4 KB
|
|
2 - Subtitles (srt) for Introduction to Racket (8_23).srt
|
12.3 KB
|
|
16 - Subtitles (srt) for Delay and Force (9_18).srt
|
12.1 KB
|
|
22 - Subtitles (srt) for Optional_ Racket Macros With define-syntax (9_25).srt
|
12.0 KB
|
|
5 - Subtitles (srt) for Syntax and Parentheses (8_36).srt
|
11.8 KB
|
|
24 - Subtitles (srt) for Optional_ More Macros Examples (9_12).srt
|
11.8 KB
|
|
8 - Subtitles (srt) for Cond (8_52).srt
|
11.7 KB
|
|
20 - Subtitles (srt) for Macros_ The Key Points (8_52).srt
|
11.6 KB
|
|
11 - Subtitles (srt) for Mutation with set! (8_28).srt
|
11.0 KB
|
|
21 - Subtitles (srt) for Optional_ Tokenization, Parenthesization, and Scope (7_30).srt
|
10.4 KB
|
|
23 - Subtitles (text) for Optional_ Variables, Macros, and Hygiene (10_52).txt
|
10.1 KB
|
|
12 - Subtitles (srt) for The Truth About Cons (7_46).srt
|
9.9 KB
|
|
6 - Subtitles (text) for Parentheses Matter! (Debugging Practice) (10_50).txt
|
9.7 KB
|
|
19 - Subtitles (text) for Memoization (10_17).txt
|
9.7 KB
|
|
3 - Subtitles (text) for Racket Definitions, Functions, Conditionals (10_14).txt
|
9.2 KB
|
|
18 - Subtitles (text) for Defining Streams (10_49).txt
|
9.1 KB
|
|
7 - Subtitles (text) for Dynamic Typing (9_36).txt
|
9.0 KB
|
|
13 - Subtitles (srt) for mcons For Mutable Pairs (7_38).srt
|
9.0 KB
|
|
17 - Subtitles (text) for Using Streams (10_10).txt
|
9.0 KB
|
|
14 - Subtitles (text) for Delayed Evaluation and Thunks (10_12).txt
|
8.9 KB
|
|
4 - Subtitles (text) for Racket Lists (9_07).txt
|
8.7 KB
|
|
2 - Subtitles (text) for Introduction to Racket (8_23).txt
|
8.6 KB
|
|
15 - Subtitles (srt) for Avoiding Unnecessary Computations (6_48).srt
|
8.6 KB
|
|
16 - Subtitles (text) for Delay and Force (9_18).txt
|
8.5 KB
|
|
22 - Subtitles (text) for Optional_ Racket Macros With define-syntax (9_25).txt
|
8.4 KB
|
|
5 - Subtitles (text) for Syntax and Parentheses (8_36).txt
|
8.3 KB
|
|
24 - Subtitles (text) for Optional_ More Macros Examples (9_12).txt
|
8.3 KB
|
|
8 - Subtitles (text) for Cond (8_52).txt
|
8.2 KB
|
|
20 - Subtitles (text) for Macros_ The Key Points (8_52).txt
|
8.1 KB
|
|
11 - Subtitles (text) for Mutation with set! (8_28).txt
|
7.7 KB
|
|
21 - Subtitles (text) for Optional_ Tokenization, Parenthesization, and Scope (7_30).txt
|
7.3 KB
|
|
12 - Subtitles (text) for The Truth About Cons (7_46).txt
|
7.0 KB
|
|
10 - Subtitles (srt) for Toplevel Bindings (4_54).srt
|
6.8 KB
|
|
13 - Subtitles (text) for mcons For Mutable Pairs (7_38).txt
|
6.3 KB
|
|
15 - Subtitles (text) for Avoiding Unnecessary Computations (6_48).txt
|
6.0 KB
|
|
10 - Subtitles (text) for Toplevel Bindings (4_54).txt
|
4.8 KB
|
|
9 - Racket code for Local Bindings (13_11).rkt
|
1.7 KB
|
|
15 - Racket code for Avoiding Unnecessary Computations (6_48).rkt
|
1.7 KB
|
|
16 - Racket code for Delay and Force (9_18).rkt
|
1.7 KB
|
|
22 - Racket code for Optional_ Racket Macros With define-syntax (9_25).rkt
|
1.5 KB
|
|
24 - Racket code for Optional_ More Macros Examples (9_12).rkt
|
1.3 KB
|
|
20 - Racket code for Macros_ The Key Points (8_52).rkt
|
1.2 KB
|
|
18 - Racket code for Defining Streams (10_49).rkt
|
1.1 KB
|
|
17 - Racket code for Using Streams (10_10).rkt
|
1.1 KB
|
|
3 - Racket code for Racket Definitions, Functions, Conditionals (10_14).rkt
|
1.1 KB
|
|
19 - Racket code for Memoization (10_17).rkt
|
1.0 KB
|
|
1 - Subtitles (srt) for Section 5 Reading Notes.srt
|
1.0 KB
|
|
11 - Racket code for Mutation with set! (8_28).rkt
|
0.9 KB
|
|
7 - Racket code for Dynamic Typing (9_36).rkt
|
0.9 KB
|
|
8 - Racket code for Cond (8_52).rkt
|
0.9 KB
|
|
4 - Racket code for Racket Lists (9_07).rkt
|
0.8 KB
|
|
1 - Subtitles (text) for Section 5 Reading Notes.txt
|
0.7 KB
|
|
10 - Racket code for Toplevel Bindings (4_54).rkt
|
0.6 KB
|
|
14 - Racket code for Delayed Evaluation and Thunks (10_12).rkt
|
0.6 KB
|
|
13 - Racket code for mcons For Mutable Pairs (7_38).rkt
|
0.5 KB
|
|
12 - Racket code for The Truth About Cons (7_46).rkt
|
0.5 KB
|
|
2 - Racket code for Introduction to Racket (8_23).rkt
|
0.4 KB
|
|
6 - Racket code for Parentheses Matter! (Debugging Practice) (10_50).rkt
|
0.2 KB
|
|
/4 - Section 3/
|
|
23 - Video (MP4) for Optional_ Java Without Closures (12_08).mp4
|
18.9 MB
|
|
11 - Video (MP4) for Why Lexical Scope (11_44).mp4
|
17.5 MB
|
|
13 - Video (MP4) for Fold and More Closures (11_28).mp4
|
17.4 MB
|
|
21 - Video (MP4) for Optional_ Abstract Data Types With Closures (11_14).mp4
|
17.4 MB
|
|
24 - Video (MP4) for Optional_ C Without Closures (10_56).mp4
|
17.4 MB
|
|
16 - Video (MP4) for Partial Application (9_41).mp4
|
15.7 MB
|
|
15 - Video (MP4) for Closure Idiom_ Currying (10_32).mp4
|
15.5 MB
|
|
14 - Video (MP4) for Closure Idiom_ Combining Functions (9_18).mp4
|
13.8 MB
|
|
5 - Video (MP4) for Anonymous Functions (9_17).mp4
|
13.7 MB
|
|
3 - Video (MP4) for Functions as Arguments (8_40).mp4
|
13.5 MB
|
|
8 - Video (MP4) for Generalizing Prior Topics (9_01).mp4
|
13.5 MB
|
|
19 - Video (MP4) for Closure Idiom_ Callbacks (8_25).mp4
|
12.8 MB
|
|
7 - Video (MP4) for Map and Filter (8_56).mp4
|
12.6 MB
|
|
4 - Video (MP4) for Polymorphic Types and Functions as Arguments (7_57).mp4
|
12.1 MB
|
|
18 - Video (MP4) for Mutable References (8_07).mp4
|
12.0 MB
|
|
2 - Video (MP4) for Introduction to First-Class Functions (7_50).mp4
|
11.6 MB
|
|
20 - Video (MP4) for Standard-Library Documentation (7_00).mp4
|
11.5 MB
|
|
10 - Video (MP4) for Lexical Scope and Higher-Order Functions (7_37).mp4
|
11.1 MB
|
|
9 - Video (MP4) for Lexical Scope (7_22).mp4
|
11.1 MB
|
|
17 - Video (MP4) for Currying Wrapup (6_40).mp4
|
10.4 MB
|
|
12 - Video (MP4) for Closures and Recomputation (6_30).mp4
|
10.3 MB
|
|
6 - Video (MP4) for Unnecessary Function Wrapping (5_05).mp4
|
7.4 MB
|
|
22 - Video (MP4) for Optional_ Closure Idioms Without Closures (4_48).mp4
|
7.3 MB
|
|
1 - Video (MP4) for Section 3 Reading Notes.mp4
|
721.8 KB
|
|
1 - reading notes for Section 3 Reading Notes.pdf
|
230.5 KB
|
|
7 - slides-pdf for Map and Filter (8_56).pdf
|
154.3 KB
|
|
22 - slides-pdf for Optional_ Closure Idioms Without Closures (4_48).pdf
|
128.4 KB
|
|
23 - slides for Optional_ Java Without Closures (12_08).pptx
|
123.4 KB
|
|
16 - slides-pdf for Partial Application (9_41).pdf
|
123.0 KB
|
|
23 - slides-pdf for Optional_ Java Without Closures (12_08).pdf
|
121.3 KB
|
|
15 - slides for Closure Idiom_ Currying (10_32).pptx
|
119.5 KB
|
|
14 - slides for Closure Idiom_ Combining Functions (9_18).pptx
|
119.2 KB
|
|
10 - slides for Lexical Scope and Higher-Order Functions (7_37).pptx
|
115.5 KB
|
|
16 - slides for Partial Application (9_41).pptx
|
115.3 KB
|
|
4 - slides for Polymorphic Types and Functions as Arguments (7_57).pptx
|
115.1 KB
|
|
11 - slides for Why Lexical Scope (11_44).pptx
|
115.1 KB
|
|
9 - slides for Lexical Scope (7_22).pptx
|
114.8 KB
|
|
13 - slides for Fold and More Closures (11_28).pptx
|
113.5 KB
|
|
19 - slides for Closure Idiom_ Callbacks (8_25).pptx
|
113.4 KB
|
|
5 - slides for Anonymous Functions (9_17).pptx
|
113.2 KB
|
|
24 - slides for Optional_ C Without Closures (10_56).pptx
|
112.6 KB
|
|
18 - slides-pdf for Mutable References (8_07).pdf
|
112.0 KB
|
|
14 - slides-pdf for Closure Idiom_ Combining Functions (9_18).pdf
|
110.9 KB
|
|
22 - slides for Optional_ Closure Idioms Without Closures (4_48).pptx
|
110.6 KB
|
|
2 - slides for Introduction to First-Class Functions (7_50).pptx
|
110.5 KB
|
|
15 - slides-pdf for Closure Idiom_ Currying (10_32).pdf
|
110.3 KB
|
|
19 - slides-pdf for Closure Idiom_ Callbacks (8_25).pdf
|
109.8 KB
|
|
18 - slides for Mutable References (8_07).pptx
|
109.5 KB
|
|
7 - slides for Map and Filter (8_56).pptx
|
109.2 KB
|
|
21 - slides for Optional_ Abstract Data Types With Closures (11_14).pptx
|
109.2 KB
|
|
8 - slides for Generalizing Prior Topics (9_01).pptx
|
109.1 KB
|
|
11 - slides-pdf for Why Lexical Scope (11_44).pdf
|
108.5 KB
|
|
3 - slides for Functions as Arguments (8_40).pptx
|
108.1 KB
|
|
13 - slides-pdf for Fold and More Closures (11_28).pdf
|
107.7 KB
|
|
20 - slides for Standard-Library Documentation (7_00).pptx
|
107.4 KB
|
|
9 - slides-pdf for Lexical Scope (7_22).pdf
|
107.3 KB
|
|
17 - slides for Currying Wrapup (6_40).pptx
|
107.1 KB
|
|
12 - slides for Closures and Recomputation (6_30).pptx
|
107.0 KB
|
|
24 - slides-pdf for Optional_ C Without Closures (10_56).pdf
|
106.6 KB
|
|
20 - slides-pdf for Standard-Library Documentation (7_00).pdf
|
106.3 KB
|
|
10 - slides-pdf for Lexical Scope and Higher-Order Functions (7_37).pdf
|
106.2 KB
|
|
6 - slides for Unnecessary Function Wrapping (5_05).pptx
|
106.1 KB
|
|
2 - slides-pdf for Introduction to First-Class Functions (7_50).pdf
|
104.3 KB
|
|
8 - slides-pdf for Generalizing Prior Topics (9_01).pdf
|
102.4 KB
|
|
5 - slides-pdf for Anonymous Functions (9_17).pdf
|
101.2 KB
|
|
4 - slides-pdf for Polymorphic Types and Functions as Arguments (7_57).pdf
|
100.8 KB
|
|
17 - slides-pdf for Currying Wrapup (6_40).pdf
|
100.0 KB
|
|
3 - slides-pdf for Functions as Arguments (8_40).pdf
|
99.3 KB
|
|
12 - slides-pdf for Closures and Recomputation (6_30).pdf
|
97.6 KB
|
|
6 - slides-pdf for Unnecessary Function Wrapping (5_05).pdf
|
87.9 KB
|
|
21 - slides-pdf for Optional_ Abstract Data Types With Closures (11_14).pdf
|
81.1 KB
|
|
23 - Subtitles (srt) for Optional_ Java Without Closures (12_08).srt
|
16.3 KB
|
|
21 - Subtitles (srt) for Optional_ Abstract Data Types With Closures (11_14).srt
|
15.7 KB
|
|
11 - Subtitles (srt) for Why Lexical Scope (11_44).srt
|
15.6 KB
|
|
24 - Subtitles (srt) for Optional_ C Without Closures (10_56).srt
|
15.2 KB
|
|
13 - Subtitles (srt) for Fold and More Closures (11_28).srt
|
14.8 KB
|
|
15 - Subtitles (srt) for Closure Idiom_ Currying (10_32).srt
|
13.5 KB
|
|
16 - Subtitles (srt) for Partial Application (9_41).srt
|
12.8 KB
|
|
14 - Subtitles (srt) for Closure Idiom_ Combining Functions (9_18).srt
|
12.5 KB
|
|
5 - Subtitles (srt) for Anonymous Functions (9_17).srt
|
12.5 KB
|
|
8 - Subtitles (srt) for Generalizing Prior Topics (9_01).srt
|
12.3 KB
|
|
2 - Subtitles (srt) for Introduction to First-Class Functions (7_50).srt
|
11.7 KB
|
|
7 - Subtitles (srt) for Map and Filter (8_56).srt
|
11.5 KB
|
|
23 - Subtitles (text) for Optional_ Java Without Closures (12_08).txt
|
11.4 KB
|
|
21 - Subtitles (text) for Optional_ Abstract Data Types With Closures (11_14).txt
|
11.0 KB
|
|
11 - Subtitles (text) for Why Lexical Scope (11_44).txt
|
10.9 KB
|
|
19 - Subtitles (srt) for Closure Idiom_ Callbacks (8_25).srt
|
10.9 KB
|
|
3 - Subtitles (srt) for Functions as Arguments (8_40).srt
|
10.9 KB
|
|
24 - Subtitles (text) for Optional_ C Without Closures (10_56).txt
|
10.7 KB
|
|
4 - Subtitles (srt) for Polymorphic Types and Functions as Arguments (7_57).srt
|
10.5 KB
|
|
13 - Subtitles (text) for Fold and More Closures (11_28).txt
|
10.4 KB
|
|
18 - Subtitles (srt) for Mutable References (8_07).srt
|
10.0 KB
|
|
20 - Subtitles (srt) for Standard-Library Documentation (7_00).srt
|
9.8 KB
|
|
10 - Subtitles (srt) for Lexical Scope and Higher-Order Functions (7_37).srt
|
9.6 KB
|
|
15 - Subtitles (text) for Closure Idiom_ Currying (10_32).txt
|
9.4 KB
|
|
9 - Subtitles (srt) for Lexical Scope (7_22).srt
|
9.4 KB
|
|
16 - Subtitles (text) for Partial Application (9_41).txt
|
9.0 KB
|
|
14 - Subtitles (text) for Closure Idiom_ Combining Functions (9_18).txt
|
8.8 KB
|
|
5 - Subtitles (text) for Anonymous Functions (9_17).txt
|
8.8 KB
|
|
17 - Subtitles (srt) for Currying Wrapup (6_40).srt
|
8.7 KB
|
|
8 - Subtitles (text) for Generalizing Prior Topics (9_01).txt
|
8.6 KB
|
|
12 - Subtitles (srt) for Closures and Recomputation (6_30).srt
|
8.2 KB
|
|
2 - Subtitles (text) for Introduction to First-Class Functions (7_50).txt
|
8.2 KB
|
|
7 - Subtitles (text) for Map and Filter (8_56).txt
|
8.1 KB
|
|
3 - Subtitles (text) for Functions as Arguments (8_40).txt
|
7.7 KB
|
|
19 - Subtitles (text) for Closure Idiom_ Callbacks (8_25).txt
|
7.7 KB
|
|
4 - Subtitles (text) for Polymorphic Types and Functions as Arguments (7_57).txt
|
7.4 KB
|
|
18 - Subtitles (text) for Mutable References (8_07).txt
|
7.0 KB
|
|
20 - Subtitles (text) for Standard-Library Documentation (7_00).txt
|
6.9 KB
|
|
22 - Subtitles (srt) for Optional_ Closure Idioms Without Closures (4_48).srt
|
6.8 KB
|
|
6 - Subtitles (srt) for Unnecessary Function Wrapping (5_05).srt
|
6.7 KB
|
|
10 - Subtitles (text) for Lexical Scope and Higher-Order Functions (7_37).txt
|
6.7 KB
|
|
9 - Subtitles (text) for Lexical Scope (7_22).txt
|
6.6 KB
|
|
17 - Subtitles (text) for Currying Wrapup (6_40).txt
|
6.1 KB
|
|
12 - Subtitles (text) for Closures and Recomputation (6_30).txt
|
5.8 KB
|
|
22 - Subtitles (text) for Optional_ Closure Idioms Without Closures (4_48).txt
|
4.8 KB
|
|
6 - Subtitles (text) for Unnecessary Function Wrapping (5_05).txt
|
4.7 KB
|
|
24 - C code for Optional_ C Without Closures (10_56).c
|
2.2 KB
|
|
16 - ML code for Partial Application (9_41).sml
|
2.0 KB
|
|
23 - Java code for Optional_ Java Without Closures (12_08).java
|
1.9 KB
|
|
21 - ML code for Optional_ Abstract Data Types With Closures (11_14).sml
|
1.5 KB
|
|
3 - ML code for Functions as Arguments (8_40).sml
|
1.3 KB
|
|
11 - ML code for Why Lexical Scope (11_44).sml
|
1.3 KB
|
|
15 - ML code for Closure Idiom_ Currying (10_32).sml
|
1.3 KB
|
|
4 - ML code for Polymorphic Types and Functions as Arguments (7_57).sml
|
1.2 KB
|
|
5 - ML code for Anonymous Functions (9_17).sml
|
1.0 KB
|
|
1 - Subtitles (srt) for Section 3 Reading Notes.srt
|
1.0 KB
|
|
19 - ML code for Closure Idiom_ Callbacks (8_25).sml
|
0.9 KB
|
|
13 - ML code for Fold and More Closures (11_28).sml
|
0.9 KB
|
|
22 - ML code for Optional_ Closure Idioms Without Closures (4_48).sml
|
0.9 KB
|
|
8 - ML code for Generalizing Prior Topics (9_01).sml
|
0.9 KB
|
|
14 - ML code for Closure Idiom_ Combining Functions (9_18).sml
|
0.8 KB
|
|
12 - ML code for Closures and Recomputation (6_30).sml
|
0.7 KB
|
|
7 - ML code for Map and Filter (8_56).sml
|
0.7 KB
|
|
1 - Subtitles (text) for Section 3 Reading Notes.txt
|
0.7 KB
|
|
17 - ML code for Currying Wrapup (6_40).sml
|
0.5 KB
|
|
6 - ML code for Unnecessary Function Wrapping (5_05).sml
|
0.5 KB
|
|
9 - ML code for Lexical Scope (7_22).sml
|
0.5 KB
|
|
10 - ML code for Lexical Scope and Higher-Order Functions (7_37).sml
|
0.4 KB
|
|
18 - ML code for Mutable References (8_07).sml
|
0.2 KB
|
|
2 - ML code for Introduction to First-Class Functions (7_50).sml
|
0.2 KB
|
|
/5 - Optional_ Course Motivation/
|
|
5 - Video (MP4) for Optional_ Why ML, Racket, and Ruby_ (12_34).mp4
|
18.5 MB
|
|
4 - Video (MP4) for Optional_ Why Functional Languages_ (11_15).mp4
|
15.9 MB
|
|
2 - Video (MP4) for Optional_ Why Study General PL Concepts_ (10_30).mp4
|
15.3 MB
|
|
3 - Video (MP4) for Optional_ Are All PLs the Same_ (6_51).mp4
|
10.1 MB
|
|
1 - Video (MP4) for Optional_ Course-Motivation Introduction (5_56).mp4
|
8.6 MB
|
|
2 - slides for Optional_ Why Study General PL Concepts_ (10_30).pptx
|
115.7 KB
|
|
5 - slides for Optional_ Why ML, Racket, and Ruby_ (12_34).pptx
|
113.6 KB
|
|
4 - slides for Optional_ Why Functional Languages_ (11_15).pptx
|
113.1 KB
|
|
1 - slides for Optional_ Course-Motivation Introduction (5_56).pptx
|
112.7 KB
|
|
3 - slides for Optional_ Are All PLs the Same_ (6_51).pptx
|
105.6 KB
|
|
5 - slides-pdf for Optional_ Why ML, Racket, and Ruby_ (12_34).pdf
|
91.9 KB
|
|
4 - slides-pdf for Optional_ Why Functional Languages_ (11_15).pdf
|
91.1 KB
|
|
2 - slides-pdf for Optional_ Why Study General PL Concepts_ (10_30).pdf
|
77.5 KB
|
|
1 - slides-pdf for Optional_ Course-Motivation Introduction (5_56).pdf
|
75.0 KB
|
|
3 - slides-pdf for Optional_ Are All PLs the Same_ (6_51).pdf
|
69.9 KB
|
|
5 - Subtitles (srt) for Optional_ Why ML, Racket, and Ruby_ (12_34)
|
18.5 KB
|
|
4 - Subtitles (srt) for Optional_ Why Functional Languages_ (11_15)
|
16.4 KB
|
|
2 - Subtitles (srt) for Optional_ Why Study General PL Concepts_ (10_30)
|
14.8 KB
|
|
5 - Subtitles (text) for Optional_ Why ML, Racket, and Ruby_ (12_34)
|
12.9 KB
|
|
4 - Subtitles (text) for Optional_ Why Functional Languages_ (11_15)
|
11.5 KB
|
|
2 - Subtitles (text) for Optional_ Why Study General PL Concepts_ (10_30)
|
10.3 KB
|
|
3 - Subtitles (srt) for Optional_ Are All PLs the Same_ (6_51)
|
10.0 KB
|
|
1 - Subtitles (srt) for Optional_ Course-Motivation Introduction (5_56).srt
|
9.3 KB
|
|
3 - Subtitles (text) for Optional_ Are All PLs the Same_ (6_51)
|
7.0 KB
|
|
1 - Subtitles (text) for Optional_ Course-Motivation Introduction (5_56).txt
|
6.5 KB
|
|
/6 - Section 4/
|
|
12 - Video (MP4) for Signatures for Our Example (11_03).mp4
|
17.5 MB
|
|
11 - Video (MP4) for A Module Example (11_06).mp4
|
16.9 MB
|
|
6 - Video (MP4) for Polymorphic Examples (10_52).mp4
|
15.6 MB
|
|
7 - Video (MP4) for Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).mp4
|
15.0 MB
|
|
5 - Video (MP4) for Type Inference Examples (10_27).mp4
|
14.9 MB
|
|
18 - Video (MP4) for Standard Equivalences (10_01).mp4
|
14.9 MB
|
|
8 - Video (MP4) for Mutual Recursion (9_45).mp4
|
14.9 MB
|
|
15 - Video (MP4) for Another Equivalent Structure (9_01).mp4
|
14.7 MB
|
|
17 - Video (MP4) for Equivalent Functions (8_41).mp4
|
12.9 MB
|
|
10 - Video (MP4) for Signatures and Hiding Things (7_02).mp4
|
10.8 MB
|
|
14 - Video (MP4) for An Equivalent Structure (6_38).mp4
|
10.4 MB
|
|
9 - Video (MP4) for Modules for Namespace Management (6_25).mp4
|
9.8 MB
|
|
19 - Video (MP4) for Equivalence Versus Performance (6_00).mp4
|
9.2 MB
|
|
4 - Video (MP4) for ML Type Inference (6_09).mp4
|
9.1 MB
|
|
3 - Video (MP4) for What is Type Inference (5_37).mp4
|
8.3 MB
|
|
13 - Video (MP4) for Signature Matching (4_03).mp4
|
6.4 MB
|
|
16 - Video (MP4) for Different Modules Define Different Types (3_32).mp4
|
5.8 MB
|
|
2 - Video (MP4) for Section Introduction (1_45).mp4
|
2.4 MB
|
|
1 - Video (MP4) for Section 4 Reading Notes.mp4
|
721.8 KB
|
|
1 - reading notes for Section 4 Reading Notes.pdf
|
224.1 KB
|
|
10 - slides-pdf for Signatures and Hiding Things (7_02).pdf
|
174.6 KB
|
|
18 - slides for Standard Equivalences (10_01).pptx
|
125.9 KB
|
|
7 - slides for Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).pptx
|
124.3 KB
|
|
12 - slides for Signatures for Our Example (11_03).pptx
|
122.5 KB
|
|
7 - slides-pdf for Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).pdf
|
122.1 KB
|
|
12 - slides-pdf for Signatures for Our Example (11_03).pdf
|
119.5 KB
|
|
9 - slides-pdf for Modules for Namespace Management (6_25).pdf
|
118.9 KB
|
|
17 - slides for Equivalent Functions (8_41).pptx
|
116.6 KB
|
|
10 - slides for Signatures and Hiding Things (7_02).pptx
|
116.2 KB
|
|
8 - slides for Mutual Recursion (9_45).pptx
|
112.5 KB
|
|
9 - slides for Modules for Namespace Management (6_25).pptx
|
111.3 KB
|
|
4 - slides-pdf for ML Type Inference (6_09).pdf
|
110.9 KB
|
|
4 - slides for ML Type Inference (6_09).pptx
|
110.2 KB
|
|
17 - slides-pdf for Equivalent Functions (8_41).pdf
|
109.4 KB
|
|
16 - slides for Different Modules Define Different Types (3_32).pptx
|
109.3 KB
|
|
15 - slides for Another Equivalent Structure (9_01).pptx
|
109.1 KB
|
|
11 - slides for A Module Example (11_06).pptx
|
109.0 KB
|
|
2 - slides for Section Introduction (1_45).pptx
|
108.8 KB
|
|
3 - slides for What is Type Inference (5_37).pptx
|
108.6 KB
|
|
19 - slides for Equivalence Versus Performance (6_00).pptx
|
107.9 KB
|
|
15 - slides-pdf for Another Equivalent Structure (9_01).pdf
|
107.8 KB
|
|
18 - slides-pdf for Standard Equivalences (10_01).pdf
|
107.2 KB
|
|
11 - slides-pdf for A Module Example (11_06).pdf
|
106.9 KB
|
|
14 - slides for An Equivalent Structure (6_38).pptx
|
106.4 KB
|
|
8 - slides-pdf for Mutual Recursion (9_45).pdf
|
105.8 KB
|
|
13 - slides for Signature Matching (4_03).pptx
|
104.3 KB
|
|
3 - slides-pdf for What is Type Inference (5_37).pdf
|
103.8 KB
|
|
5 - slides for Type Inference Examples (10_27).pptx
|
103.7 KB
|
|
6 - slides for Polymorphic Examples (10_52).pptx
|
103.7 KB
|
|
14 - slides-pdf for An Equivalent Structure (6_38).pdf
|
101.2 KB
|
|
19 - slides-pdf for Equivalence Versus Performance (6_00).pdf
|
101.0 KB
|
|
16 - slides-pdf for Different Modules Define Different Types (3_32).pdf
|
97.1 KB
|
|
13 - slides-pdf for Signature Matching (4_03).pdf
|
93.7 KB
|
|
2 - slides-pdf for Section Introduction (1_45).pdf
|
80.6 KB
|
|
6 - slides-pdf for Polymorphic Examples (10_52).pdf
|
78.3 KB
|
|
5 - slides-pdf for Type Inference Examples (10_27).pdf
|
77.4 KB
|
|
11 - Subtitles (srt) for A Module Example (11_06).srt
|
15.0 KB
|
|
12 - Subtitles (srt) for Signatures for Our Example (11_03).srt
|
15.0 KB
|
|
7 - Subtitles (srt) for Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).srt
|
14.0 KB
|
|
8 - Subtitles (srt) for Mutual Recursion (9_45).srt
|
13.7 KB
|
|
5 - Subtitles (srt) for Type Inference Examples (10_27).srt
|
13.2 KB
|
|
18 - Subtitles (srt) for Standard Equivalences (10_01).srt
|
13.0 KB
|
|
6 - Subtitles (srt) for Polymorphic Examples (10_52).srt
|
12.7 KB
|
|
17 - Subtitles (srt) for Equivalent Functions (8_41).srt
|
12.3 KB
|
|
15 - Subtitles (srt) for Another Equivalent Structure (9_01).srt
|
11.7 KB
|
|
11 - Subtitles (text) for A Module Example (11_06).txt
|
10.5 KB
|
|
12 - Subtitles (text) for Signatures for Our Example (11_03).txt
|
10.5 KB
|
|
7 - Subtitles (text) for Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).txt
|
9.8 KB
|
|
8 - Subtitles (text) for Mutual Recursion (9_45).txt
|
9.6 KB
|
|
5 - Subtitles (text) for Type Inference Examples (10_27).txt
|
9.3 KB
|
|
10 - Subtitles (srt) for Signatures and Hiding Things (7_02).srt
|
9.3 KB
|
|
18 - Subtitles (text) for Standard Equivalences (10_01).txt
|
9.2 KB
|
|
6 - Subtitles (text) for Polymorphic Examples (10_52).txt
|
9.0 KB
|
|
9 - Subtitles (srt) for Modules for Namespace Management (6_25).srt
|
8.8 KB
|
|
4 - Subtitles (srt) for ML Type Inference (6_09).srt
|
8.7 KB
|
|
19 - Subtitles (srt) for Equivalence Versus Performance (6_00).srt
|
8.6 KB
|
|
17 - Subtitles (text) for Equivalent Functions (8_41).txt
|
8.6 KB
|
|
14 - Subtitles (srt) for An Equivalent Structure (6_38).srt
|
8.3 KB
|
|
15 - Subtitles (text) for Another Equivalent Structure (9_01).txt
|
8.2 KB
|
|
3 - Subtitles (srt) for What is Type Inference (5_37).srt
|
7.6 KB
|
|
10 - Subtitles (text) for Signatures and Hiding Things (7_02).txt
|
6.6 KB
|
|
9 - Subtitles (text) for Modules for Namespace Management (6_25).txt
|
6.2 KB
|
|
4 - Subtitles (text) for ML Type Inference (6_09).txt
|
6.1 KB
|
|
19 - Subtitles (text) for Equivalence Versus Performance (6_00).txt
|
6.0 KB
|
|
14 - Subtitles (text) for An Equivalent Structure (6_38).txt
|
5.8 KB
|
|
13 - Subtitles (srt) for Signature Matching (4_03).srt
|
5.4 KB
|
|
3 - Subtitles (text) for What is Type Inference (5_37).txt
|
5.3 KB
|
|
16 - Subtitles (srt) for Different Modules Define Different Types (3_32).srt
|
4.4 KB
|
|
16 - ML code for Different Modules Define Different Types (3_32).sml
|
4.1 KB
|
|
13 - Subtitles (text) for Signature Matching (4_03).txt
|
3.8 KB
|
|
12 - ML code for Signatures for Our Example (11_03).sml
|
3.2 KB
|
|
16 - Subtitles (text) for Different Modules Define Different Types (3_32).txt
|
3.1 KB
|
|
14 - ML code for An Equivalent Structure (6_38).sml
|
2.8 KB
|
|
2 - Subtitles (srt) for Section Introduction (1_45).srt
|
2.7 KB
|
|
15 - ML code for Another Equivalent Structure (9_01).sml
|
2.4 KB
|
|
5 - ML code for Type Inference Examples (10_27).sml
|
2.3 KB
|
|
2 - Subtitles (text) for Section Introduction (1_45).txt
|
1.9 KB
|
|
6 - ML code for Polymorphic Examples (10_52).sml
|
1.9 KB
|
|
11 - ML code for A Module Example (11_06).sml
|
1.6 KB
|
|
8 - ML code for Mutual Recursion (9_45).sml
|
1.6 KB
|
|
1 - Subtitles (srt) for Section 4 Reading Notes.srt
|
1.0 KB
|
|
1 - Subtitles (text) for Section 4 Reading Notes.txt
|
0.7 KB
|
|
7 - ML code for Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).sml
|
0.6 KB
|
|
10 - ML code for Signatures and Hiding Things (7_02).sml
|
0.5 KB
|
|
4 - ML code for ML Type Inference (6_09).sml
|
0.4 KB
|
|
9 - ML code for Modules for Namespace Management (6_25).sml
|
0.4 KB
|
|
3 - ML code for What is Type Inference (5_37).sml
|
0.3 KB
|
|
/11 - Course Wrapup/
|
|
1 - Video (MP4) for Optional_ Course Content Wrapup (9_43).mp4
|
14.9 MB
|
|
2 - Video (MP4) for Optional_ MOOC Wrapup (9_39).mp4
|
13.9 MB
|
|
3 - Video (MP4) for Optional_ Meet the TAs (2_00).mp4
|
8.2 MB
|
|
2 - Subtitles (srt) for Optional_ MOOC Wrapup (9_39).srt
|
16.2 KB
|
|
1 - Subtitles (srt) for Optional_ Course Content Wrapup (9_43).srt
|
15.5 KB
|
|
2 - Subtitles (text) for Optional_ MOOC Wrapup (9_39).txt
|
10.9 KB
|
|
1 - Subtitles (text) for Optional_ Course Content Wrapup (9_43).txt
|
10.4 KB
|
|
3 - Subtitles (srt) for Optional_ Meet the TAs (2_00).srt
|
3.3 KB
|
|
3 - Subtitles (text) for Optional_ Meet the TAs (2_00).txt
|
2.0 KB
|
|
/1 - Software Installation Videos/
|
|
4 - Video (MP4) for SML Mode installation (3_52).mp4
|
6.8 MB
|
|
2 - Video (MP4) for Emacs installation (2_27).mp4
|
5.1 MB
|
|
3 - Video (MP4) for SML installation (1_47).mp4
|
3.5 MB
|
|
1 - Video (MP4) for Installation Introduction (1_22).mp4
|
2.1 MB
|
|
4 - Subtitles (srt) for SML Mode installation (3_52).srt
|
5.4 KB
|
|
4 - Subtitles (text) for SML Mode installation (3_52).txt
|
3.8 KB
|
|
2 - Subtitles (srt) for Emacs installation (2_27).srt
|
3.6 KB
|
|
2 - Subtitles (text) for Emacs installation (2_27).txt
|
2.5 KB
|
|
3 - Subtitles (srt) for SML installation (1_47).srt
|
2.5 KB
|
|
1 - Subtitles (srt) for Installation Introduction (1_22).srt
|
2.2 KB
|
|
3 - Subtitles (text) for SML installation (1_47).txt
|
1.8 KB
|
|
1 - Subtitles (text) for Installation Introduction (1_22).txt
|
1.5 KB
|
|
Total files 987
|
