Programming languages | 721FA7EF9FBF99FE88A2721D89DACF96628B599F

Programming languages

Name	programming-languages	DOWNLOAD Copy Link Trouble downloading? see How To
Total Size	2.4 GB
Total Files	677
Last Seen
Hash	721FA7EF9FBF99FE88A2721D89DACF96628B599F

/section-7/
9 - 17 - Overriding and Dynamic Dispatch (10_56).mp4	35.7 MB
section-0/
1 - 4 - Software Installation Introduction (1-22).srt	2.4 KB
1 - 2 - Course Introduction- About Programming Languages (12-04).mp4	16.9 MB
1 - 2 - Course Introduction- About Programming Languages (12-04).srt	19.2 KB
1 - 1 - Course Introduction- About the Course (12-23).srt	23.1 KB
1 - 1 - Course Introduction- About the Course (12-23).mp4	13.3 MB
1 - 5 - Emacs installation (2-27).mp4	3.5 MB
1 - 4 - Software Installation Introduction (1-22).mp4	1.6 MB
1 - 3 - Grading Policy (12-59).srt	22.7 KB
1 - 3 - Grading Policy (12-59).mp4	14.0 MB
1 - 5 - Emacs installation (2-27).srt	3.9 KB
1 - 6 - SML installation (1-47).srt	2.8 KB
1 - 6 - SML installation (1-47).mp4	2.6 MB
1 - 7 - SML Mode installation (3-52).srt	6.0 KB
1 - 7 - SML Mode installation (3-52).mp4	6.8 MB
/section-0/notes/
1_meta_intro.pdf	388.4 KB
2_pl_intro.pdf	103.5 KB
2b_grading_policy.pdf	110.0 KB
/section-0/code/
IntBinaryTree.java	0.6 KB
wrapup/
11 - 1 - Optional_ Course Content Wrapup (9_43).mp4	14.9 MB
11 - 2 - Optional_ MOOC Wrapup (9_39).srt	16.2 KB
11 - 1 - Optional_ Course Content Wrapup (9_43).srt	15.5 KB
11 - 2 - Optional_ MOOC Wrapup (9_39).mp4	13.9 MB
section-6/
8 - 18 - Optional_ eval and quote (7_58).srt	11.7 KB
8 - 13 - What is Static Checking_ (10_00).srt	15.1 KB
8 - 1 - Section 6 Reading Notes.mp4	721.8 KB
8 - 4 - Datatype-Programming in Racket With Structs (9_34).srt	12.4 KB
8 - 3 - Datatype-Programming in Racket Without Structs (13_21).srt	18.7 KB
8 - 10 - Optional_ Are Closures Efficient_ (9_03).srt	13.1 KB
8 - 15 - Weak Typing (9_39).mp4	14.4 MB
8 - 7 - What Your Interpreter Can and Cannot Assume (13_47).srt	19.3 KB
8 - 1 - Section 6 Reading Notes.srt	1.0 KB
8 - 5 - Advantages of Structs (8_13).mp4	12.5 MB
8 - 5 - Advantages of Structs (8_13).srt	11.3 KB
8 - 15 - Weak Typing (9_39).srt	14.3 KB
8 - 2 - Section Introduction (2_08).srt	3.3 KB
8 - 12 - ML Versus Racket (8_53).srt	13.7 KB
8 - 11 - Racket Functions As “Macros” For Interpreted Language (9_15).srt	11.9 KB
8 - 9 - Implementing Closures (6_32).srt	9.3 KB
8 - 18 - Optional_ eval and quote (7_58).mp4	12.4 MB
8 - 13 - What is Static Checking_ (10_00).mp4	15.8 MB
8 - 16 - Static Versus Dynamic Typing, Part One (9_40).mp4	14.7 MB
8 - 8 - Implementing Variables and Environments (6_29).srt	9.5 KB
8 - 12 - ML Versus Racket (8_53).mp4	13.6 MB
8 - 6 - Implementing Programming Languages (10_07).srt	15.1 KB
8 - 6 - Implementing Programming Languages (10_07).mp4	15.0 MB
8 - 14 - Soundness and Completeness (9_46).mp4	15.1 MB
8 - 16 - Static Versus Dynamic Typing, Part One (9_40).srt	14.2 KB
8 - 7 - What Your Interpreter Can and Cannot Assume (13_47).mp4	23.1 MB
8 - 9 - Implementing Closures (6_32).mp4	10.0 MB
8 - 8 - Implementing Variables and Environments (6_29).mp4	9.6 MB
8 - 4 - Datatype-Programming in Racket With Structs (9_34).mp4	15.2 MB
8 - 3 - Datatype-Programming in Racket Without Structs (13_21).mp4	21.7 MB
8 - 10 - Optional_ Are Closures Efficient_ (9_03).mp4	13.7 MB
8 - 17 - Static Versus Dynamic Typing, Part Two (13_47).mp4	20.2 MB
8 - 2 - Section Introduction (2_08).mp4	3.2 MB
8 - 14 - Soundness and Completeness (9_46).srt	13.5 KB
8 - 11 - Racket Functions As “Macros” For Interpreted Language (9_15).mp4	14.6 MB
8 - 17 - Static Versus Dynamic Typing, Part Two (13_47).srt	20.8 KB
/section-6/notes/
120_static_vs_dynamic_one.pdf	117.6 KB
section6sum.pdf	243.5 KB
113_implementing_closures.pdf	99.5 KB
110_implement_a_language.pdf	133.8 KB
108_datatypes_with_structs.pdf	116.0 KB
114_closures_efficient.pdf	104.3 KB
106_section_topics.pptx	104.1 KB
112_implementing_variables.pdf	111.5 KB
119_weak_typing.pdf	111.9 KB
122_eval.pdf	124.7 KB
118_soundness_completeness.pdf	107.1 KB
121_static_vs_dynamic_two.pdf	122.3 KB
111_interpreter_assumptions.pdf	109.7 KB
117_what_is_static_checking.pdf	123.1 KB
115_macros_via_functions.pdf	98.1 KB
116_ml_vs_racket.pdf	132.8 KB
107_datatypes_without_structs.pdf	118.4 KB
109_why_structs.pdf	116.8 KB
/section-6/code/
111_interpreter_assumptions.rkt	3.9 KB
107_datatypes_without_structs.sml	1.6 KB
108_datatypes_with_structs.rkt	0.9 KB
115_macros_via_functions.rkt	3.2 KB
107_datatypes_without_structs.rkt	2.7 KB
122_eval.rkt	0.5 KB
120_static_vs_dynamic_one.rkt	0.8 KB
120_static_vs_dynamic_one.sml	1.0 KB
section-7/
9 - 2 - Introduction to Ruby (10_08).srt	16.0 KB
9 - 19 - Dynamic Dispatch Versus Closures (9_38).mp4	15.3 MB
9 - 8 - Class Definitions are Dynamic (7_42).srt	10.5 KB
9 - 16 - Why Use Subclassing_ (7_16).srt	10.3 KB
9 - 2 - Introduction to Ruby (10_08).mp4	14.8 MB
9 - 18 - Method-Lookup Rules, Precisely (11_31).mp4	17.8 MB
9 - 1 - Section 7 Reading Notes.mp4	721.8 KB
9 - 4 - Object State (13_14).mp4	19.8 MB
9 - 3 - Classes and Objects (12_37).mp4	18.8 MB
9 - 15 - Subclassing (10_11).mp4	15.5 MB
9 - 13 - Procs (7_08).mp4	10.7 MB
9 - 10 - Arrays (11_13).srt	16.2 KB
9 - 11 - Blocks (11_34).srt	16.7 KB
9 - 12 - Using Blocks (6_24).srt	9.1 KB
9 - 5 - Visibility (8_39).srt	12.4 KB
9 - 1 - Section 7 Reading Notes.srt	1.0 KB
9 - 8 - Class Definitions are Dynamic (7_42).mp4	12.0 MB
9 - 19 - Dynamic Dispatch Versus Closures (9_38).srt	12.8 KB
9 - 7 - Everything is an Object (8_15).srt	11.8 KB
9 - 20 - Optional_ Dynamic Dispatch Manually in Racket (15_56).srt	22.5 KB
9 - 3 - Classes and Objects (12_37).srt	17.6 KB
9 - 15 - Subclassing (10_11).srt	14.2 KB
9 - 6 - A Longer Example (12_19).srt	17.6 KB
9 - 20 - Optional_ Dynamic Dispatch Manually in Racket (15_56).mp4	27.4 MB
9 - 14 - Hashes and Ranges (8_59).mp4	13.7 MB
9 - 16 - Why Use Subclassing_ (7_16).mp4	11.0 MB
9 - 9 - Duck Typing (7_28).srt	10.7 KB
9 - 6 - A Longer Example (12_19).mp4	18.7 MB
9 - 10 - Arrays (11_13).mp4	16.7 MB
9 - 4 - Object State (13_14).srt	18.0 KB
9 - 17 - Overriding and Dynamic Dispatch (10_56).srt	15.2 KB
9 - 5 - Visibility (8_39).mp4	12.8 MB
9 - 12 - Using Blocks (6_24).mp4	17.9 MB
9 - 14 - Hashes and Ranges (8_59).srt	12.5 KB
9 - 18 - Method-Lookup Rules, Precisely (11_31).srt	16.2 KB
9 - 13 - Procs (7_08).srt	10.0 KB
9 - 9 - Duck Typing (7_28).mp4	11.5 MB
9 - 7 - Everything is an Object (8_15).mp4	13.4 MB
9 - 11 - Blocks (11_34).mp4	17.2 MB
/section-7/notes/
133_using_blocks.pdf	130.5 KB
140_dynamic_dispatch_vs_closures.pdf	107.1 KB
135_hashes_ranges.pdf	99.9 KB
134_procs.pdf	109.9 KB
126_visibility.pdf	115.2 KB
137_why_subclassing.pdf	107.4 KB
128_all_objects.pdf	105.6 KB
section7sum.pdf	247.4 KB
136_subclassing.pdf	110.9 KB
129_classes_dynamic.pdf	137.9 KB
141_manual_dynamic_dispatch.pdf	147.7 KB
131_arrays.pdf	93.3 KB
125_object_state.pdf	114.1 KB
123_ruby_intro.pdf	108.9 KB
124_classes_objects.pdf	109.7 KB
132_blocks.pdf	107.0 KB
138_overriding.pdf	209.7 KB
127_example.pdf	91.0 KB
139_method_lookup.pdf	115.3 KB
130_duck_typing.pdf	105.2 KB
/section-7/code/
127_example.rb	2.5 KB
125_object_state.rb	1.2 KB
124_classes_objects.rb	0.8 KB
135_hashes_ranges.rb	0.6 KB
136_subclassing.rb	1.0 KB
138_overriding.rb	1.6 KB
123_ruby_intro.rb	0.2 KB
129_classes_dynamic.rb	0.5 KB
140_dynamic_dispatch_vs_closures.sml	0.6 KB
140_dynamic_dispatch_vs_closures.rb	0.7 KB
133_using_blocks.rb	0.5 KB
132_blocks.rb	0.6 KB
131_arrays.rb	1.0 KB
134_procs.rb	0.4 KB
141_manual_dynamic_dispatch.rkt	4.0 KB
assignments/
hw1.pdf	105.7 KB
hw3.pdf	127.7 KB
dog.jpg	17.1 KB
hw3provided.sml	0.8 KB
hw6graphicsswing.rb	7.7 KB
hw2test.sml	1.7 KB
hw0provided.sml	0.3 KB
hw6graphics.rb	2.2 KB
hw2provided.sml	0.7 KB
hw5.rkt	3.2 KB
hw0.pdf	79.1 KB
hw7.pdf	123.1 KB
hw7.rb	5.9 KB
hw6provided.rb	12.0 KB
hw2.pdf	113.4 KB
curry.jpg	9.5 KB
hw4.rkt	0.1 KB
hw1test.sml	1.1 KB
hw7testsprovided.sml	2.3 KB
hw4.pdf	121.0 KB
hw6runner.rb	0.5 KB
hw7testsprovided.rb	5.3 KB
hw5test.rkt	2.4 KB
hw7.sml	7.3 KB
hw6assignment.rb	0.4 KB
hw4test.rkt	2.2 KB
dan.jpg	35.5 KB
dog2.jpg	15.9 KB
hw5.pdf	148.1 KB
hw6.pdf	105.2 KB
optional-course_motivation/
5 - 2 - Optional_ Why Study General PL Concepts_ (10_30).srt	15.9 KB
5 - 3 - Optional_ Are All PLs the Same_ (6_51).srt	10.7 KB
m3_pls_the_same.pdf	69.9 KB
m1_motivation_intro.pdf	75.0 KB
5 - 4 - Optional_ Why Functional Languages_ (11_15).mp4	15.9 MB
5 - 3 - Optional_ Are All PLs the Same_ (6_51).mp4	10.1 MB
5 - 5 - Optional_ Why ML, Racket, and Ruby_ (12_34).mp4	18.5 MB
5 - 4 - Optional_ Why Functional Languages_ (11_15).srt	17.4 KB
5 - 5 - Optional_ Why ML, Racket, and Ruby_ (12_34).srt	20.9 KB
5 - 1 - Optional_ Course-Motivation Introduction (5_56).srt	9.9 KB
m4_why_functional.pdf	91.1 KB
5 - 2 - Optional_ Why Study General PL Concepts_ (10_30).mp4	15.3 MB
m2_motivation_general.pdf	77.5 KB
5 - 1 - Optional_ Course-Motivation Introduction (5_56).mp4	8.6 MB
m5_why_these_languages.pdf	91.9 KB
section-2/
3 - 3 - Records (8-25).mp4	12.3 MB
3 - 17 - More Nested Patterns (10-43).srt	15.5 KB
3 - 13 - Each of Pattern Matching - Truth About Functions (14-30).srt	21.3 KB
3 - 12 - Polymorphic Datatypes (8-11).mp4	12.6 MB
3 - 4 - Tuples as Syntactic Sugar (6-06).mp4	9.1 MB
3 - 13 - Each of Pattern Matching - Truth About Functions (14-30).mp4	21.3 MB
3 - 5 - Datatype Bindings (8-39).mp4	9.6 MB
3 - 23 - Perspective on Tail Recursion (5-33).mp4	8.2 MB
3 - 16 - Nested Patterns (10-32).srt	15.2 KB
3 - 15 - Polymorphic and Equality Types (8-00).srt	12.1 KB
3 - 9 - Another Expression Example (8-01).srt	12.5 KB
3 - 8 - Pattern Matching So Far (4-37).mp4	6.6 MB
3 - 6 - Case Expressions (10-50).srt	16.3 KB
3 - 20 - Exceptions (7-47).mp4	11.8 MB
3 - 2 - Building Compound Types (5-34).mp4	17.6 MB
3 - 23 - Perspective on Tail Recursion (5-33).srt	7.8 KB
3 - 14 - A Little Type Inference (6-28).mp4	10.3 MB
3 - 6 - Case Expressions (10-50).mp4	16.6 MB
3 - 17 - More Nested Patterns (10-43).mp4	11.4 MB
3 - 5 - Datatype Bindings (8-39).srt	12.5 KB
3 - 8 - Pattern Matching So Far (4-37).srt	6.9 KB
3 - 16 - Nested Patterns (10-32).mp4	16.2 MB
3 - 11 - Lists and Options are Datatypes (9-10).srt	14.2 KB
3 - 19 - Optional- Function Patterns (3-40).mp4	5.7 MB
3 - 21 - Tail Recursion (9-44).mp4	14.2 MB
3 - 21 - Tail Recursion (9-44).srt	14.0 KB
3 - 7 - Useful Datatypes (11-22).srt	17.4 KB
3 - 10 - Type Synonyms (6-19).mp4	9.8 MB
3 - 4 - Tuples as Syntactic Sugar (6-06).srt	8.7 KB
3 - 1 - Section 2 Reading Notes.mp4	721.8 KB
3 - 14 - A Little Type Inference (6-28).srt	9.3 KB
3 - 19 - Optional- Function Patterns (3-40).srt	5.3 KB
3 - 18 - Nested Patterns Precisely (6-35).srt	9.4 KB
3 - 9 - Another Expression Example (8-01).mp4	12.5 MB
3 - 10 - Type Synonyms (6-19).srt	9.6 KB
3 - 22 - Accumulators for Tail Recursion (7-39).srt	10.8 KB
3 - 1 - Section 2 Reading Notes.srt	1.0 KB
3 - 3 - Records (8-25).srt	13.3 KB
3 - 7 - Useful Datatypes (11-22).mp4	16.9 MB
3 - 12 - Polymorphic Datatypes (8-11).srt	12.1 KB
3 - 20 - Exceptions (7-47).srt	11.4 KB
3 - 18 - Nested Patterns Precisely (6-35).mp4	10.1 MB
3 - 2 - Building Compound Types (5-34).srt	8.5 KB
3 - 22 - Accumulators for Tail Recursion (7-39).mp4	11.1 MB
3 - 15 - Polymorphic and Equality Types (8-00).mp4	12.0 MB
3 - 11 - Lists and Options are Datatypes (9-10).mp4	13.2 MB
/section-2/notes/
33_polymorphic_and_equality_types.pdf	111.5 KB
37_function_patterns.pdf	96.8 KB
31_eachof_pattern_matching.pdf	139.2 KB
34_nested_patterns.pdf	100.0 KB
29_list_and_option_datatypes.pdf	108.4 KB
25_useful_datatypes.pdf	113.4 KB
27_type_synonyms.pdf	99.4 KB
30_polymorphic_datatypes.pdf	110.2 KB
39_tail_recursion.pdf	126.1 KB
38_exceptions.pdf	97.6 KB
20_building_new_types.pdf	164.0 KB
21_records.pdf	107.1 KB
41_tail_recursion_perspective.pdf	99.8 KB
26_precise_pattern_matching_sofar.pdf	108.7 KB
24_case_expressions.pdf	106.7 KB
22_tuples_as_syntactic_sugar.pdf	105.3 KB
23_datatype_bindings.pdf	167.7 KB
40_accumulators.pdf	105.8 KB
35_more_nested_patterns.pdf	91.7 KB
section2sum.pdf	249.5 KB
28_another_expression_example.pdf	95.8 KB
36_nested_patterns_precisely.pdf	93.1 KB
32_type_inference.pdf	104.2 KB
/section-2/code/
30_polymorphic_datatypes.sml	1.3 KB
23_datatype_bindings.sml	0.5 KB
29_list_and_option_datatypes.sml	0.7 KB
40_accumulators.sml	0.6 KB
39_tail_recursion.sml	0.3 KB
35_more_nested_patterns.sml	0.9 KB
21_records.sml	0.3 KB
37_function_patterns.sml	0.7 KB
24_case_expressions.sml	0.4 KB
32_type_inference.sml	0.8 KB
27_type_synonyms.sml	1.0 KB
34_nested_patterns.sml	1.2 KB
22_tuples_as_syntactic_sugar.sml	0.6 KB
38_exceptions.sml	0.8 KB
25_useful_datatypes.sml	1.0 KB
28_another_expression_example.sml	1.2 KB
31_eachof_pattern_matching.sml	0.9 KB
33_polymorphic_and_equality_types.sml	0.5 KB
section-1/
2 - 7 - Functions Formally (8-56).mp4	13.4 MB
2 - 15 - Booleans and Comparison Operations (7-00).srt	11.0 KB
2 - 13 - Let and Efficiency (10-10).mp4	11.3 MB
2 - 9 - Introducing Lists (10-34).mp4	15.9 MB
2 - 1 - Section 1 Reading Notes.mp4	721.8 KB
2 - 5 - Shadowing (6-49).srt	9.3 KB
2 - 17 - Optional- Java Mutation (4-44).srt	7.0 KB
2 - 10 - List Functions (11-21).srt	16.5 KB
2 - 3 - Rules for Expressions (9-13).srt	13.6 KB
2 - 11 - Let Expressions (7-51).srt	12.2 KB
2 - 6 - Functions Informally (7-37).mp4	10.9 MB
2 - 5 - Shadowing (6-49).mp4	9.6 MB
2 - 10 - List Functions (11-21).mp4	16.4 MB
2 - 16 - Benefits of No Mutation (7-24).mp4	11.4 MB
2 - 8 - Pairs and Other Tuples (9-16).srt	13.6 KB
2 - 18 - Pieces of a Language (6-02).srt	9.9 KB
2 - 15 - Booleans and Comparison Operations (7-00).mp4	10.5 MB
2 - 17 - Optional- Java Mutation (4-44).mp4	7.6 MB
2 - 2 - ML Variable Bindings and Expressions (14-32).srt	20.9 KB
2 - 7 - Functions Formally (8-56).srt	13.0 KB
2 - 12 - Nested Functions (7-38).mp4	11.3 MB
2 - 2 - ML Variable Bindings and Expressions (14-32).mp4	21.1 MB
2 - 12 - Nested Functions (7-38).srt	11.8 KB
2 - 18 - Pieces of a Language (6-02).mp4	9.2 MB
2 - 4 - The REPL and Errors (12-10).srt	19.3 KB
2 - 8 - Pairs and Other Tuples (9-16).mp4	13.2 MB
2 - 13 - Let and Efficiency (10-10).srt	15.0 KB
2 - 9 - Introducing Lists (10-34).srt	15.9 KB
2 - 14 - Options (9-09).mp4	13.7 MB
2 - 4 - The REPL and Errors (12-10).mp4	19.4 MB
2 - 16 - Benefits of No Mutation (7-24).srt	11.1 KB
2 - 11 - Let Expressions (7-51).mp4	11.2 MB
2 - 3 - Rules for Expressions (9-13).mp4	12.9 MB
2 - 6 - Functions Informally (7-37).srt	11.2 KB
2 - 14 - Options (9-09).srt	13.5 KB
2 - 1 - Section 1 Reading Notes.srt	1.0 KB
/section-1/notes/
9_tuples.pdf	120.9 KB
14_let_efficiency.pdf	235.3 KB
8_functions_formal.pdf	129.5 KB
5_REPL_and_errors.pdf	100.9 KB
16_booleans.pdf	112.1 KB
13_nested_functions.pdf	111.7 KB
11_list_functions.pdf	103.4 KB
15_options.pdf	105.5 KB
12_let_expressions.pdf	132.7 KB
19_language_pieces.pdf	86.0 KB
6_shadowing.pdf	105.3 KB
17_no_mutation.pdf	143.6 KB
10_lists.pdf	109.1 KB
18_optional_java_mutation.pdf	129.1 KB
4_rules_for_expressions.pdf	129.5 KB
7_functions_informal.pdf	112.7 KB
section1sum.pdf	226.4 KB
3_ML_expressions_and_variable_bindings.pdf	124.3 KB
/section-1/code/
5_errors_fixed.sml	0.3 KB
7_functions.sml	0.3 KB
9_tuples.sml	0.7 KB
13_nested_functions.sml	0.5 KB
5_some_errors.sml	0.3 KB
6_shadowing.sml	0.3 KB
10_repl.txt	2.5 KB
11_list_functions.sml	1.0 KB
3_our_first_program.sml	1.1 KB
15_options.sml	1.1 KB
12_let_expressions.sml	0.3 KB
14_let_efficiency.sml	0.9 KB
section-4/
6 - 3 - What is Type Inference (5_37).mp4	8.3 MB
6 - 2 - Section Introduction (1_45).srt	2.9 KB
6 - 2 - Section Introduction (1_45).mp4	2.4 MB
6 - 16 - Different Modules Define Different Types (3_32).srt	4.7 KB
6 - 12 - Signatures for Our Example (11_03).srt	16.0 KB
6 - 16 - Different Modules Define Different Types (3_32).mp4	5.8 MB
6 - 5 - Type Inference Examples (10_27).srt	14.3 KB
6 - 12 - Signatures for Our Example (11_03).mp4	17.5 MB
6 - 9 - Modules for Namespace Management (6_25).mp4	9.8 MB
6 - 14 - An Equivalent Structure (6_38).mp4	10.4 MB
6 - 18 - Standard Equivalences (10_01).mp4	14.9 MB
6 - 13 - Signature Matching (4_03).srt	5.9 KB
6 - 13 - Signature Matching (4_03).mp4	6.4 MB
6 - 19 - Equivalence Versus Performance (6_00).srt	9.2 KB
6 - 1 - Section 4 Reading Notes.mp4	721.8 KB
6 - 15 - Another Equivalent Structure (9_01).mp4	14.7 MB
6 - 4 - ML Type Inference (6_09).srt	9.3 KB
6 - 11 - A Module Example (11_06).srt	15.9 KB
6 - 14 - An Equivalent Structure (6_38).srt	8.8 KB
6 - 4 - ML Type Inference (6_09).mp4	9.1 MB
6 - 10 - Signatures and Hiding Things (7_02).srt	10.0 KB
6 - 17 - Equivalent Functions (8_41).mp4	27.2 MB
6 - 5 - Type Inference Examples (10_27).mp4	10.9 MB
6 - 6 - Polymorphic Examples (10_52).srt	13.9 KB
6 - 17 - Equivalent Functions (8_41).srt	13.3 KB
6 - 8 - Mutual Recursion (9_45).mp4	14.9 MB
6 - 8 - Mutual Recursion (9_45).srt	14.6 KB
6 - 1 - Section 4 Reading Notes.srt	1.0 KB
6 - 7 - Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).srt	15.1 KB
6 - 7 - Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).mp4	15.0 MB
6 - 15 - Another Equivalent Structure (9_01).srt	12.6 KB
6 - 3 - What is Type Inference (5_37).srt	8.1 KB
6 - 10 - Signatures and Hiding Things (7_02).mp4	10.8 MB
6 - 18 - Standard Equivalences (10_01).srt	14.2 KB
6 - 6 - Polymorphic Examples (10_52).mp4	15.6 MB
6 - 9 - Modules for Namespace Management (6_25).srt	9.5 KB
6 - 11 - A Module Example (11_06).mp4	16.9 MB
6 - 19 - Equivalence Versus Performance (6_00).mp4	9.2 MB
/section-4/notes/
75_signatures_for_example.pdf	119.5 KB
80_function_equivalence.pdf	143.1 KB
79_modules_different_types.pdf	97.1 KB
82_equivalence_performance.pdf	101.0 KB
81_standard_equivalences.pdf	107.2 KB
70_other_inference.pdf	122.1 KB
72_namespace_mgmt.pdf	118.9 KB
77_equivalent_structure.pdf	101.2 KB
73_signatures.pdf	174.6 KB
section4sum.pdf	224.0 KB
66_what_is_type_inference.pdf	103.8 KB
68_type_inference_examples.pdf	77.4 KB
74_module_example.pdf	106.9 KB
65_section_introduction.pdf	80.6 KB
78_another_equivalent_structure.pdf	107.8 KB
71_mutual_recursion.pdf	105.8 KB
76_signature_matching.pdf	93.7 KB
67_ML_type_inference.pdf	110.9 KB
69_polymorphic_examples.pdf	78.3 KB
/section-4/code/
79_modules_different_types.sml	4.1 KB
68_type_inference_examples.sml	2.3 KB
71_mutual_recursion.sml	1.6 KB
75_signatures_for_example.sml	3.2 KB
74_module_example.sml	1.6 KB
67_ml_type_inference.sml	0.4 KB
70_other_inference.sml	0.6 KB
78_another_equivalent_structure.sml	2.4 KB
72_namespace_mgmt.sml	0.4 KB
66_what_is_type_inference.sml	0.3 KB
69_polymorphic_examples.sml	1.9 KB
77_equivalent_structure.sml	2.8 KB
73_signatures.sml	0.5 KB
section-3/
4 - 23 - Optional- Java Without Closures (12-08).srt	18.7 KB
4 - 10 - Lexical Scope and Higher-Order Functions (7-37).srt	10.4 KB
4 - 7 - Map and Filter (8-56).srt	12.6 KB
4 - 5 - Anonymous Functions (9-17).mp4	13.7 MB
4 - 19 - Closure Idiom- Callbacks (8-25).mp4	12.8 MB
4 - 16 - Partial Application (9-41).srt	13.6 KB
4 - 18 - Mutable References (8-07).srt	10.9 KB
4 - 2 - Introduction to First-Class Functions (7-50).mp4	11.6 MB
4 - 24 - Optional- C Without Closures (10-56).mp4	12.5 MB
4 - 21 - Optional- Abstract Data Types With Closures (11-14).mp4	17.4 MB
4 - 14 - Closure Idiom- Combining Functions (9-18).mp4	13.8 MB
4 - 9 - Lexical Scope (7-22).srt	10.1 KB
4 - 19 - Closure Idiom- Callbacks (8-25).srt	11.9 KB
4 - 16 - Partial Application (9-41).mp4	15.7 MB
4 - 13 - Fold and More Closures (11-28).mp4	17.4 MB
4 - 22 - Optional- Closure Idioms Without Closures (4-48).srt	7.4 KB
4 - 1 - Section 3 Reading Notes.srt	1.0 KB
4 - 13 - Fold and More Closures (11-28).srt	16.3 KB
4 - 7 - Map and Filter (8-56).mp4	9.5 MB
4 - 5 - Anonymous Functions (9-17).srt	14.1 KB
4 - 21 - Optional- Abstract Data Types With Closures (11-14).srt	17.0 KB
4 - 2 - Introduction to First-Class Functions (7-50).srt	12.6 KB
4 - 11 - Why Lexical Scope (11-44).mp4	13.0 MB
4 - 14 - Closure Idiom- Combining Functions (9-18).srt	13.7 KB
4 - 12 - Closures and Recomputation (6-30).mp4	10.3 MB
4 - 9 - Lexical Scope (7-22).mp4	11.1 MB
4 - 20 - Standard-Library Documentation (7-00).srt	10.6 KB
4 - 6 - Unnecessary Function Wrapping (5-05).srt	7.3 KB
4 - 4 - Polymorphic Types and Functions as Arguments (7-57).srt	11.7 KB
4 - 22 - Optional- Closure Idioms Without Closures (4-48).mp4	7.3 MB
4 - 11 - Why Lexical Scope (11-44).srt	16.8 KB
4 - 3 - Functions as Arguments (8-40).srt	12.1 KB
4 - 17 - Currying Wrapup (6-40).srt	9.3 KB
4 - 12 - Closures and Recomputation (6-30).srt	9.0 KB
4 - 18 - Mutable References (8-07).mp4	12.0 MB
4 - 8 - Generalizing Prior Topics (9-01).mp4	13.5 MB
4 - 23 - Optional- Java Without Closures (12-08).mp4	18.9 MB
4 - 8 - Generalizing Prior Topics (9-01).srt	13.4 KB
4 - 24 - Optional- C Without Closures (10-56).srt	16.5 KB
4 - 4 - Polymorphic Types and Functions as Arguments (7-57).mp4	12.1 MB
4 - 15 - Closure Idiom- Currying (10-32).srt	14.4 KB
4 - 10 - Lexical Scope and Higher-Order Functions (7-37).mp4	8.2 MB
4 - 15 - Closure Idiom- Currying (10-32).mp4	16.5 MB
4 - 1 - Section 3 Reading Notes.mp4	721.8 KB
4 - 3 - Functions as Arguments (8-40).mp4	13.5 MB
4 - 20 - Standard-Library Documentation (7-00).mp4	11.5 MB
4 - 17 - Currying Wrapup (6-40).mp4	10.4 MB
4 - 6 - Unnecessary Function Wrapping (5-05).mp4	7.4 MB
/section-3/notes/
49_lexical_scope.pdf	107.3 KB
60_library_docs.pdf	106.3 KB
63_java_without_closures.pdf	121.3 KB
57_currying_wrapup.pdf	100.0 KB
50_lexical_scope_and_functions.pdf	106.2 KB
44_types_and_functions.pdf	100.8 KB
46_unnecessary_function_wrapping.pdf	87.9 KB
56_partial_application.pdf	227.1 KB
62_without_closures.pdf	128.4 KB
43_functions_as_arguments.pdf	99.3 KB
61_adts_with_closures.pdf	81.1 KB
64_c_without_closures.pdf	106.6 KB
53_fold_and_more_closures.pdf	107.7 KB
52_closures_and_recomputation.pdf	97.6 KB
59_callbacks.pdf	145.1 KB
section3sum.pdf	231.3 KB
42_functions_intro.pdf	104.3 KB
45_anonymous_functions.pdf	101.2 KB
47_map_and_filter.pdf	154.3 KB
51_why_lexical_scope.pdf	108.5 KB
54_combining_functions.pdf	110.9 KB
55_currying.pdf	146.9 KB
48_generalizing_prior_topics.pdf	102.4 KB
58_mutable_references.pdf	112.0 KB
/section-3/code/
50_lexical_scope_and_functions.sml	0.4 KB
48_generalizing_prior_topics.sml	0.9 KB
44_types_and_functions.sml	1.2 KB
53_fold_and_more_closures.sml	0.9 KB
52_closures_and_recomputation.sml	0.7 KB
46_unnecessary_function_wrapping.sml	0.5 KB
59_callbacks.sml	0.9 KB
49_lexical_scope.sml	0.5 KB
62_without_closures.sml	0.9 KB
43_functions_as_arguments.sml	1.3 KB
63_java_without_closures.java	1.9 KB
57_currying_wrapup.sml	0.5 KB
45_anonymous_functions.sml	1.0 KB
54_combining_functions.sml	0.8 KB
61_adts_with_closures.sml	1.5 KB
51_why_lexical_scope.sml	1.3 KB
55_currying.sml	1.5 KB
42_functions_intro.sml	0.2 KB
47_map_and_filter.sml	0.7 KB
64_c_without_closures.c	4.1 KB
58_mutable_references.sml	0.2 KB
56_partial_application.sml	2.0 KB
section-8/
10 - 14 - Optional_ Java_C# Arrays (9_11).mp4	14.6 MB
10 - 10 - Optional_ Abstract Methods (8_51).srt	12.1 KB
10 - 10 - Optional_ Abstract Methods (8_51).mp4	26.5 MB
10 - 1 - Section 8 Reading Notes.srt	1.0 KB
10 - 2 - OOP Versus Functional Decomposition (12_51).srt	18.8 KB
10 - 9 - Interfaces (7_33).srt	10.6 KB
10 - 13 - Depth Subtyping (8_50).mp4	27.2 MB
10 - 8 - Mixins (11_52).srt	17.4 KB
10 - 3 - Adding Operations or Variants (11_08).srt	16.9 KB
10 - 17 - Generics Versus Subtyping (8_16).mp4	13.0 MB
10 - 16 - Subtyping for OOP (11_44).srt	17.0 KB
10 - 2 - OOP Versus Functional Decomposition (12_51).mp4	20.3 MB
10 - 4 - Binary Methods with Functional Decomposition (7_18).srt	11.2 KB
10 - 4 - Binary Methods with Functional Decomposition (7_18).mp4	12.1 MB
10 - 7 - Multiple Inheritance (10_18).mp4	16.4 MB
10 - 17 - Generics Versus Subtyping (8_16).srt	12.3 KB
10 - 11 - Subtyping From the Beginning (10_43).mp4	16.3 MB
10 - 8 - Mixins (11_52).mp4	18.7 MB
10 - 18 - Bounded Polymorphism (8_05).srt	11.8 KB
10 - 18 - Bounded Polymorphism (8_05).mp4	12.5 MB
10 - 3 - Adding Operations or Variants (11_08).mp4	18.2 MB
10 - 16 - Subtyping for OOP (11_44).mp4	18.2 MB
10 - 5 - Double Dispatch (14_46).mp4	24.0 MB
10 - 13 - Depth Subtyping (8_50).srt	12.3 KB
10 - 14 - Optional_ Java_C# Arrays (9_11).srt	13.1 KB
10 - 5 - Double Dispatch (14_46).srt	21.3 KB
10 - 15 - Function Subtyping (11_17).srt	15.0 KB
10 - 11 - Subtyping From the Beginning (10_43).srt	14.8 KB
10 - 12 - The Subtype Relation (8_20).mp4	13.1 MB
10 - 1 - Section 8 Reading Notes.mp4	721.8 KB
10 - 12 - The Subtype Relation (8_20).srt	11.9 KB
10 - 9 - Interfaces (7_33).mp4	11.5 MB
10 - 6 - Optional_ Multimethods (6_36).mp4	7.3 MB
10 - 15 - Function Subtyping (11_17).mp4	18.3 MB
10 - 6 - Optional_ Multimethods (6_36).srt	9.6 KB
10 - 7 - Multiple Inheritance (10_18).srt	15.1 KB
/section-8/notes/
section8sum.pdf	251.5 KB
145_double_dispatch.pdf	124.9 KB
143_adding_operations_or_variants.pdf	112.0 KB
155_function_subtyping.pdf	134.0 KB
156_object_subtyping.pdf	111.2 KB
150_abstract_methods.pdf	151.2 KB
147_multiple_inheritance.pdf	123.6 KB
144_binary_methods_fp.pdf	108.7 KB
149_interfaces.pdf	113.9 KB
148_mixins.pdf	112.4 KB
151_subtyping.pdf	118.0 KB
158_bounded_polymorphism.pdf	120.6 KB
153_depth_subtyping.pdf	204.3 KB
146_multimethods.pdf	187.2 KB
142_fp_oo_decomposition.pdf	115.7 KB
152_subtype_relation.pdf	106.0 KB
157_generics_versus_subtyping.pdf	115.6 KB
154_java_arrays.pdf	113.8 KB
/section-8/code/
143_adding_operations_or_variants.java	2.7 KB
148_mixins.rb	2.0 KB
142_fp_oo_decomposition.sml	1.1 KB
145_double_dispatch.rb	4.1 KB
147_multiple_inheritance.rb	0.9 KB
144_binary_methods_fp.sml	2.6 KB
143_adding_operations_or_variants.sml	1.9 KB
145_double_dispatch.java	4.4 KB
143_adding_operations_or_variants.rb	2.1 KB
142_fp_oo_decomposition.rb	1.4 KB
142_fp_oo_decomposition.java	1.6 KB
section-5/
7 - 6 - Parentheses Matter! (Debugging Practice) (10_50).srt	15.0 KB
7 - 23 - Optional_ Variables, Macros, and Hygiene (10_52).mp4	16.2 MB
7 - 6 - Parentheses Matter! (Debugging Practice) (10_50).mp4	16.6 MB
7 - 9 - Local Bindings (13_11).srt	19.0 KB
7 - 19 - Memoization (10_17).srt	13.7 KB
7 - 10 - Toplevel Bindings (4_54).mp4	7.7 MB
7 - 21 - Optional_ Tokenization, Parenthesization, and Scope (7_30).srt	10.4 KB
7 - 20 - Macros_ The Key Points (8_52).mp4	12.9 MB
7 - 21 - Optional_ Tokenization, Parenthesization, and Scope (7_30).mp4	11.0 MB
7 - 11 - Mutation with set! (8_28).mp4	24.6 MB
7 - 14 - Delayed Evaluation and Thunks (10_12).mp4	16.5 MB
7 - 12 - The Truth About Cons (7_46).mp4	11.9 MB
7 - 11 - Mutation with set! (8_28).srt	11.7 KB
7 - 20 - Macros_ The Key Points (8_52).srt	11.6 KB
7 - 3 - Racket Definitions, Functions, Conditionals (10_14).srt	14.2 KB
7 - 22 - Optional_ Racket Macros With define-syntax (9_25).mp4	14.8 MB
7 - 3 - Racket Definitions, Functions, Conditionals (10_14).mp4	14.6 MB
7 - 14 - Delayed Evaluation and Thunks (10_12).srt	12.7 KB
7 - 1 - Section 5 Reading Notes.mp4	721.8 KB
7 - 18 - Defining Streams (10_49).mp4	32.7 MB
7 - 18 - Defining Streams (10_49).srt	13.0 KB
7 - 22 - Optional_ Racket Macros With define-syntax (9_25).srt	12.0 KB
7 - 4 - Racket Lists (9_07).mp4	13.2 MB
7 - 16 - Delay and Force (9_18).srt	12.1 KB
7 - 24 - Optional_ More Macros Examples (9_12).mp4	14.3 MB
7 - 8 - Cond (8_52).mp4	9.8 MB
7 - 1 - Section 5 Reading Notes.srt	1.0 KB
7 - 19 - Memoization (10_17).mp4	16.1 MB
7 - 5 - Syntax and Parentheses (8_36).mp4	9.1 MB
7 - 2 - Introduction to Racket (8_23).srt	13.2 KB
7 - 4 - Racket Lists (9_07).srt	13.6 KB
7 - 9 - Local Bindings (13_11).mp4	20.6 MB
7 - 13 - mcons For Mutable Pairs (7_38).srt	9.0 KB
7 - 15 - Avoiding Unnecessary Computations (6_48).srt	8.6 KB
7 - 23 - Optional_ Variables, Macros, and Hygiene (10_52).srt	14.4 KB
7 - 5 - Syntax and Parentheses (8_36).srt	12.9 KB
7 - 12 - The Truth About Cons (7_46).srt	10.8 KB
7 - 16 - Delay and Force (9_18).mp4	14.3 MB
7 - 24 - Optional_ More Macros Examples (9_12).srt	11.8 KB
7 - 13 - mcons For Mutable Pairs (7_38).mp4	22.0 MB
7 - 7 - Dynamic Typing (9_36).srt	13.8 KB
7 - 8 - Cond (8_52).srt	12.7 KB
7 - 15 - Avoiding Unnecessary Computations (6_48).mp4	23.0 MB
7 - 17 - Using Streams (10_10).mp4	11.5 MB
7 - 17 - Using Streams (10_10).srt	12.8 KB
7 - 2 - Introduction to Racket (8_23).mp4	12.8 MB
7 - 7 - Dynamic Typing (9_36).mp4	14.8 MB
7 - 10 - Toplevel Bindings (4_54).srt	7.4 KB
/section-5/notes/
105_macro_examples.pdf	87.3 KB
86_syntax_and_parens.pdf	215.3 KB
94_mcons.pdf	111.7 KB
96_avoid_unnecessary.pdf	128.3 KB
102_three_issues.pdf	167.0 KB
93_truth_about_cons.pdf	108.2 KB
104_hygiene.pdf	112.3 KB
91_toplevel_bindings.pdf	184.3 KB
95_thunks.pdf	108.2 KB
88_dynamic_typing.pdf	98.8 KB
90_local_bindings.pdf	188.7 KB
section5sum.pdf	212.7 KB
85_racket_lists.pdf	96.5 KB
83_racket_intro.pdf	101.3 KB
103_define_syntax.pdf	122.2 KB
101_macros_intro.pdf	112.3 KB
92_setbang.pdf	188.4 KB
99_defining_streams.pdf	110.1 KB
84_racket_basics.pdf	106.1 KB
97_delay_force.pdf	104.3 KB
89_cond.pdf	152.4 KB
87_parens_matter.pdf	96.1 KB
98_using_streams.pdf	166.3 KB
100_memoization.pdf	99.4 KB
/section-5/code/
88_dynamic_typing.rkt	0.9 KB
101_macros_intro.rkt	1.2 KB
94_mcons.rkt	0.5 KB
95_thunks.rkt	0.6 KB
96_avoid_unnecessary.rkt	1.7 KB
85_racket_lists.rkt	0.8 KB
103_define_syntax.rkt	1.5 KB
89_cond.rkt	0.9 KB
91_toplevel_bindings.rkt	0.6 KB
90_local_bindings.rkt	1.9 KB
97_delay_force.rkt	1.7 KB
98_using_streams.rkt	1.1 KB
84_racket_basics.rkt	1.1 KB
83_racket_intro.rkt	0.4 KB
105_macro_examples.rkt	1.3 KB
92_setbang.rkt	0.9 KB
100_memoization.rkt	1.0 KB
99_defining_streams.rkt	1.1 KB
93_truth_about_cons.rkt	0.5 KB
Total files 677