|
Please note that this page does not hosts or makes available any of the listed filenames. You
cannot download any of those files from here.
|
| 01-01 - Installation Introduction (122).mp4 |
1.99MB |
| 01-02 - Emacs installation (227).mp4 |
4.88MB |
| 01-03 - SML installation (147).mp4 |
3.37MB |
| 01-04 - SML Mode installation (352).mp4 |
6.45MB |
| 02-01 - Section 1 Reading Notes.mp4 |
704.85KB |
| 02-02 - Course Introduction About the Course (1234).mp4 |
16.89MB |
| 02-03 - Course Introduction About Programming Languages (1204).mp4 |
16.08MB |
| 02-04 - ML Variable Bindings and Expressions (1432).mp4 |
20.08MB |
| 02-05 - Rules for Expressions (913).mp4 |
12.33MB |
| 02-06 - The REPL and Errors (1210).mp4 |
18.51MB |
| 02-07 - Shadowing (649).mp4 |
9.15MB |
| 02-08 - Functions Informally (737).mp4 |
10.36MB |
| 02-09 - Functions Formally (856).mp4 |
12.81MB |
| 02-10 - Pairs and Other Tuples (916).mp4 |
12.60MB |
| 02-11 - Introducing Lists (1034).mp4 |
15.14MB |
| 02-12 - List Functions (1121).mp4 |
15.67MB |
| 02-13 - Let Expressions (751).mp4 |
10.64MB |
| 02-14 - Let and Efficiency (1010).mp4 |
14.81MB |
| 02-15 - Options (909).mp4 |
13.06MB |
| 02-16 - Booleans and Comparison Operations (700).mp4 |
10.01MB |
| 02-17 - Benefits of No Mutation (724).mp4 |
10.85MB |
| 02-18 - Optional Java Mutation (444).mp4 |
7.20MB |
| 02-19 - Pieces of a Language (602).mp4 |
8.79MB |
| 03-01 - Building Compound Types (534).mp4 |
7.88MB |
| 03-02 - Records (825).mp4 |
11.72MB |
| 03-03 - Tuples as Syntactic Sugar (606).mp4 |
8.72MB |
| 03-04 - Datatype Bindings (839).mp4 |
12.60MB |
| 03-05 - Case Expressions (1050).mp4 |
15.79MB |
| 03-06 - Useful Datatypes (1122).mp4 |
16.16MB |
| 03-07 - Pattern Matching So Far (437).mp4 |
6.28MB |
| 03-08 - Another Expression Example (801).mp4 |
11.92MB |
| 03-09 - Type Synonyms (619).mp4 |
9.39MB |
| 03-10 - Lists and Options are Datatypes (910).mp4 |
12.60MB |
| 03-11 - Polymorphic Datatypes (811).mp4 |
11.99MB |
| 03-12 - Each of Pattern Matching _ Truth About Functions (1430).mp4 |
20.35MB |
| 03-13 - A Little Type Inference (628).mp4 |
9.79MB |
| 03-14 - Polymorphic and Equality Types (800).mp4 |
11.41MB |
| 03-15 - More Nested Patterns (1043).mp4 |
14.42MB |
| 03-16 - Nested Patterns Precisely (635).mp4 |
9.59MB |
| 03-17 - Optional Function Patterns (340).mp4 |
5.42MB |
| 03-18 - Exceptions (747).mp4 |
11.29MB |
| 03-19 - Tail Recursion (944).mp4 |
13.58MB |
| 03-20 - Accumulators for Tail Recursion (739).mp4 |
10.57MB |
| 03-21 - Perspective on Tail Recursion (533).mp4 |
7.78MB |
| 04-01 - Section 3 Reading Notes.mp4 |
704.85KB |
| 04-02 - Introduction to First-Class Functions (750).mp4 |
11.11MB |
| 04-03 - Functions as Arguments (840).mp4 |
12.89MB |
| 04-04 - Polymorphic Types and Functions as Arguments (757).mp4 |
11.51MB |
| 04-05 - Anonymous Functions (917).mp4 |
13.07MB |
| 04-06 - Unnecessary Function Wrapping (505).mp4 |
7.02MB |
| 04-07 - Map and Filter (856).mp4 |
12.04MB |
| 04-08 - Generalizing Prior Topics (901).mp4 |
12.83MB |
| 04-09 - Lexical Scope (722).mp4 |
10.55MB |
| 04-10 - Lexical Scope and Higher-Order Functions (737).mp4 |
10.63MB |
| 04-11 - Why Lexical Scope (1144).mp4 |
16.70MB |
| 04-12 - Closures and Recomputation (630).mp4 |
9.85MB |
| 04-13 - Fold and More Closures (1128).mp4 |
16.64MB |
| 04-14 - Closure Idiom Combining Functions (918).mp4 |
13.19MB |
| 04-15 - Closure Idiom Currying (1032).mp4 |
14.80MB |
| 04-16 - Partial Application (941).mp4 |
14.96MB |
| 04-17 - Currying Wrapup (640).mp4 |
9.88MB |
| 04-18 - Mutable References (807).mp4 |
11.49MB |
| 04-19 - Closure Idiom Callbacks (825).mp4 |
12.18MB |
| 04-20 - Standard-Library Documentation (700).mp4 |
10.99MB |
| 04-21 - Optional Abstract Data Types With Closures (1114).mp4 |
16.63MB |
| 04-22 - Optional Closure Idioms Without Closures (448).mp4 |
6.92MB |
| 04-23 - Optional Java Without Closures (1208).mp4 |
18.06MB |
| 04-24 - Optional C Without Closures (1056).mp4 |
16.55MB |
| 05-01 - Section 4 Reading Notes.mp4 |
704.85KB |
| 05-02 - Section Introduction (145).mp4 |
2.33MB |
| 05-03 - What is Type Inference (537).mp4 |
7.93MB |
| 05-04 - ML Type Inference (609).mp4 |
8.72MB |
| 05-05 - Type Inference Examples (1027).mp4 |
14.22MB |
| 05-06 - Polymorphic Examples (1052).mp4 |
14.87MB |
| 05-07 - Optional The Value Restriction and Other Type-Inference Challenges (953).mp4 |
14.28MB |
| 05-08 - Mutual Recursion (945).mp4 |
14.18MB |
| 05-09 - Modules for Namespace Management (625).mp4 |
9.36MB |
| 05-10 - Signatures and Hiding Things (702).mp4 |
10.25MB |
| 05-11 - A Module Example (1106).mp4 |
16.13MB |
| 05-12 - Signatures for Our Example (1103).mp4 |
16.70MB |
| 05-13 - Signature Matching (403).mp4 |
6.08MB |
| 05-14 - An Equivalent Structure (638).mp4 |
9.93MB |
| 05-15 - Another Equivalent Structure (901).mp4 |
13.99MB |
| 05-16 - Different Modules Define Different Types (332).mp4 |
5.56MB |
| 05-17 - Equivalent Functions (841).mp4 |
12.30MB |
| 05-18 - Standard Equivalences (1001).mp4 |
14.21MB |
| 05-19 - Equivalence Versus Performance (600)-1.mp4 |
8.81MB |
| 06-01 - Optional Course-Motivation Introduction (556).mp4 |
8.17MB |
| 06-02 - Optional Why Study General PL Concepts (1030).mp4 |
14.58MB |
| 06-03 - Optional Are All PLs the Same (651).mp4 |
9.59MB |
| 06-04 - Optional Why Functional Languages (1115).mp4 |
15.21MB |
| 06-05 - Optional Why ML Racket and Ruby (1234).mp4 |
17.66MB |
| 07-01 - Section 5 Reading Notes.mp4 |
704.85KB |
| 07-02 - Introduction to Racket (823).mp4 |
12.20MB |
| 07-03 - Racket Definitions Functions Conditionals (1014).mp4 |
13.88MB |
| 07-04 - Racket Lists (907).mp4 |
12.55MB |
| 07-05 - Syntax and Parentheses (836).mp4 |
12.19MB |
| 07-06 - Parentheses Matter (Debugging Practice) (1050).mp4 |
15.82MB |
| 07-07 - Dynamic Typing (936).mp4 |
14.07MB |
| 07-08 - Cond (852).mp4 |
12.63MB |
| 07-09 - Local Bindings (1311).mp4 |
18.50MB |
| 07-10 - Toplevel Bindings (454).mp4 |
6.96MB |
| 07-11 - Mutation with set (828).mp4 |
12.03MB |
| 07-12 - The Truth About Cons (746).mp4 |
11.32MB |
| 07-13 - mcons For Mutable Pairs (738).mp4 |
10.66MB |
| 07-14 - Delayed Evaluation and Thunks (1012).mp4 |
15.75MB |
| 07-15 - Avoiding Unnecessary Computations (648).mp4 |
10.24MB |
| 07-16 - Delay and Force (918).mp4 |
13.60MB |
| 07-17 - Using Streams (1010).mp4 |
15.27MB |
| 07-18 - Defining Streams (1049).mp4 |
15.63MB |
| 07-19 - Memoization (1017).mp4 |
15.33MB |
| 07-20 - Macros The Key Points (852).mp4 |
12.32MB |
| 07-21 - Optional Tokenization Parenthesization and Scope (730).mp4 |
10.45MB |
| 07-22 - Optional Racket Macros With define-syntax (925).mp4 |
14.14MB |
| 07-23 - Optional Variables Macros and Hygiene (1052).mp4 |
15.45MB |
| 07-24 - Optional More Macros Examples (912).mp4 |
13.60MB |
| 08-01 - Section 6 Reading Notes.mp4 |
704.85KB |
| 08-02 - Section Introduction (208).mp4 |
3.03MB |
| 08-03 - Datatype-Programming in Racket With Structs (934).mp4 |
14.50MB |
| 08-04 - Implementing Programming Languages (1007).mp4 |
14.33MB |
| 08-05 - What Your Interpreter Can and Cannot Assume (1347).mp4 |
22.05MB |
| 08-06 - Implementing Variables and Environments (629).mp4 |
9.13MB |
| 08-07 - Implementing Closures (632).mp4 |
9.55MB |
| 08-08 - Optional Are Closures Efficient (903).mp4 |
13.07MB |
| 08-09 - Racket Functions As Macros For Interpreted Language (915).mp4 |
13.96MB |
| 08-10 - ML Versus Racket (853).mp4 |
13.00MB |
| 08-11 - What is Static Checking (1000).mp4 |
15.10MB |
| 08-12 - Soundness and Completeness (946).mp4 |
14.39MB |
| 08-13 - Weak Typing (939).mp4 |
13.74MB |
| 08-14 - Static Versus Dynamic Typing Part One (940).mp4 |
13.98MB |
| 08-15 - Static Versus Dynamic Typing Part Two (1347).mp4 |
19.22MB |
| 08-16 - Optional eval and quote (758).mp4 |
11.85MB |
| 09-01 - Section 7 Reading Notes.mp4 |
704.85KB |
| 09-02 - Introduction to Ruby (1008).mp4 |
14.07MB |
| 09-03 - Classes and Objects (1237).mp4 |
17.89MB |
| 09-04 - Object State (1314).mp4 |
18.90MB |
| 09-05 - Visibility (839).mp4 |
12.24MB |
| 09-06 - A Longer Example (1219).mp4 |
17.79MB |
| 09-07 - Class Definitions are Dynamic (742).mp4 |
11.48MB |
| 09-08 - Duck Typing (728).mp4 |
10.93MB |
| 09-09 - Arrays (1113).mp4 |
15.93MB |
| 09-10 - Blocks (1134).mp4 |
16.41MB |
| 09-11 - Using Blocks (624).mp4 |
9.12MB |
| 09-12 - Procs (708).mp4 |
10.18MB |
| 09-13 - Hashes and Ranges (859).mp4 |
13.08MB |
| 09-14 - Subclassing (1011).mp4 |
14.78MB |
| 09-15 - Why Use Subclassing (716).mp4 |
10.48MB |
| 09-16 - Overriding and Dynamic Dispatch (1056).mp4 |
16.51MB |
| 09-17 - Method-Lookup Rules Precisely (1131).mp4 |
16.95MB |
| 09-18 - Dynamic Dispatch Versus Closures (938).mp4 |
14.54MB |
| 09-19 - Optional Dynamic Dispatch Manually in Racket (1556).mp4 |
26.11MB |
| 10-01 - Section 8 Reading Notes.mp4 |
704.85KB |
| 10-02 - OOP Versus Functional Decomposition (1251).mp4 |
19.35MB |
| 10-03 - Adding Operations or Variants (1108).mp4 |
17.32MB |
| 10-04 - Binary Methods with Functional Decomposition (718).mp4 |
11.51MB |
| 10-05 - Double Dispatch (1446).mp4 |
22.90MB |
| 10-06 - Optional Multimethods (636).mp4 |
9.45MB |
| 10-07 - Multiple Inheritance (1018).mp4 |
15.65MB |
| 10-08 - Mixins (1152).mp4 |
17.82MB |
| 10-09 - Interfaces (733).mp4 |
10.95MB |
| 10-10 - Optional Abstract Methods (851).mp4 |
12.83MB |
| 10-11 - Subtyping From the Beginning (1043).mp4 |
15.50MB |
| 10-12 - The Subtype Relation (820).mp4 |
12.46MB |
| 10-13 - Depth Subtyping (850).mp4 |
12.95MB |
| 10-14 - Optional Java_C Arrays (911).mp4 |
13.91MB |
| 10-15 - Function Subtyping (1117).mp4 |
17.45MB |
| 10-16 - Generics Versus Subtyping (816).mp4 |
12.36MB |
| 10-17 - Bounded Polymorphism (805).mp4 |
11.92MB |
| 11-01 - Optional Course Content Wrapup (943).mp4 |
14.21MB |
| 11-02 - Optional MOOC Wrapup (939).mp4 |
13.22MB |
| 11-03 - Optional Meet the TAs (200).mp4 |
7.83MB |
| lecture_slides_section1_1_meta_intro.pptx |
432.30KB |
| lecture_slides_section1_10_lists.pptx |
111.17KB |
| lecture_slides_section1_10_repl.txt |
2.45KB |
| lecture_slides_section1_11_list_functions.pptx |
109.18KB |
| lecture_slides_section1_11_list_functions.sml |
988B |
| lecture_slides_section1_12_let_expressions.pptx |
111.41KB |
| lecture_slides_section1_12_let_expressions.sml |
341B |
| lecture_slides_section1_13_nested_functions.pptx |
109.85KB |
| lecture_slides_section1_13_nested_functions.sml |
465B |
| lecture_slides_section1_14_let_efficiency.pptx |
121.46KB |
| lecture_slides_section1_14_let_efficiency.sml |
904B |
| lecture_slides_section1_15_options.pptx |
109.79KB |
| lecture_slides_section1_15_options.sml |
1.04KB |
| lecture_slides_section1_16_booleans.pptx |
111.45KB |
| lecture_slides_section1_17_no_mutation.pptx |
118.73KB |
| lecture_slides_section1_18_optional_java_mutation.pptx |
108.20KB |
| lecture_slides_section1_19_language_pieces.pptx |
103.52KB |
| lecture_slides_section1_2_pl_intro.pptx |
113.13KB |
| lecture_slides_section1_3_ML_expressions_and_variable_bindings.pptx |
109.76KB |
| lecture_slides_section1_3_our_first_program.sml |
1.11KB |
| lecture_slides_section1_4_rules_for_expressions.pptx |
118.16KB |
| lecture_slides_section1_5_errors_fixed.sml |
344B |
| lecture_slides_section1_5_REPL_and_errors.pptx |
107.82KB |
| lecture_slides_section1_5_some_errors.sml |
315B |
| lecture_slides_section1_6_shadowing.pptx |
108.72KB |
| lecture_slides_section1_6_shadowing.sml |
298B |
| lecture_slides_section1_7_functions_informal.pptx |
109.69KB |
| lecture_slides_section1_7_functions.sml |
332B |
| lecture_slides_section1_8_functions_formal.pptx |
112.17KB |
| lecture_slides_section1_9_tuples.pptx |
115.67KB |
| lecture_slides_section1_9_tuples.sml |
693B |
| lecture_slides_section1_IntBinaryTree.java |
610B |
| lecture_slides_section2_20_building_new_types.pptx |
105.76KB |
| lecture_slides_section2_21_records.pptx |
109.89KB |
| lecture_slides_section2_21_records.sml |
271B |
| lecture_slides_section2_22_tuples_as_syntactic_sugar.pptx |
103.88KB |
| lecture_slides_section2_22_tuples_as_syntactic_sugar.sml |
633B |
| lecture_slides_section2_23_datatype_bindings.pptx |
108.32KB |
| lecture_slides_section2_23_datatype_bindings.sml |
479B |
| lecture_slides_section2_24_case_expressions.pptx |
107.47KB |
| lecture_slides_section2_24_case_expressions.sml |
415B |
| lecture_slides_section2_25_useful_datatypes.pptx |
115.34KB |
| lecture_slides_section2_25_useful_datatypes.sml |
1.02KB |
| lecture_slides_section2_26_precise_pattern_matching_sofar.pptx |
107.40KB |
| lecture_slides_section2_27_type_synonyms.pptx |
104.23KB |
| lecture_slides_section2_27_type_synonyms.sml |
1.01KB |
| lecture_slides_section2_28_another_expression_example.pptx |
102.70KB |
| lecture_slides_section2_28_another_expression_example.sml |
1.18KB |
| lecture_slides_section2_29_list_and_option_datatypes.pptx |
110.57KB |
| lecture_slides_section2_29_list_and_option_datatypes.sml |
656B |
| lecture_slides_section2_30_polymorphic_datatypes.pptx |
106.50KB |
| lecture_slides_section2_30_polymorphic_datatypes.sml |
1.29KB |
| lecture_slides_section2_31_eachof_pattern_matching.pptx |
128.16KB |
| lecture_slides_section2_31_eachof_pattern_matching.sml |
861B |
| lecture_slides_section2_32_type_inference.pptx |
108.55KB |
| lecture_slides_section2_32_type_inference.sml |
766B |
| lecture_slides_section2_33_polymorphic_and_equality_types.pptx |
113.04KB |
| lecture_slides_section2_33_polymorphic_and_equality_types.sml |
537B |
| lecture_slides_section2_34_nested_patterns.pptx |
104.66KB |
| lecture_slides_section2_34_nested_patterns.sml |
1.18KB |
| lecture_slides_section2_35_more_nested_patterns.pptx |
101.59KB |
| lecture_slides_section2_35_more_nested_patterns.sml |
929B |
| lecture_slides_section2_36_nested_patterns_precisely.pptx |
103.44KB |
| lecture_slides_section2_37_function_patterns.pptx |
106.00KB |
| lecture_slides_section2_37_function_patterns.sml |
689B |
| lecture_slides_section2_38_exceptions.pptx |
105.13KB |
| lecture_slides_section2_38_exceptions.sml |
802B |
| lecture_slides_section2_39_tail_recursion.pptx |
119.15KB |
| lecture_slides_section2_39_tail_recursion.sml |
255B |
| lecture_slides_section2_40_accumulators.pptx |
114.16KB |
| lecture_slides_section2_40_accumulators.sml |
598B |
| lecture_slides_section2_41_tail_recursion_perspective.pptx |
105.06KB |
| lecture_slides_section3_42_functions_intro.pptx |
107.90KB |
| lecture_slides_section3_42_functions_intro.sml |
230B |
| lecture_slides_section3_43_functions_as_arguments.pptx |
105.58KB |
| lecture_slides_section3_43_functions_as_arguments.sml |
1.31KB |
| lecture_slides_section3_44_types_and_functions.pptx |
112.45KB |
| lecture_slides_section3_44_types_and_functions.sml |
1.13KB |
| lecture_slides_section3_45_anonymous_functions.pptx |
110.58KB |
| lecture_slides_section3_45_anonymous_functions.sml |
1.01KB |
| lecture_slides_section3_46_unnecessary_function_wrapping.pptx |
103.62KB |
| lecture_slides_section3_46_unnecessary_function_wrapping.sml |
484B |
| lecture_slides_section3_47_map_and_filter.pptx |
106.67KB |
| lecture_slides_section3_47_map_and_filter.sml |
657B |
| lecture_slides_section3_48_generalizing_prior_topics.pptx |
106.58KB |
| lecture_slides_section3_48_generalizing_prior_topics.sml |
874B |
| lecture_slides_section3_49_lexical_scope.pptx |
112.09KB |
| lecture_slides_section3_49_lexical_scope.sml |
457B |
| lecture_slides_section3_50_lexical_scope_and_functions.pptx |
112.79KB |
| lecture_slides_section3_50_lexical_scope_and_functions.sml |
424B |
| lecture_slides_section3_51_why_lexical_scope.pptx |
112.42KB |
| lecture_slides_section3_51_why_lexical_scope.sml |
1.25KB |
| lecture_slides_section3_52_closures_and_recomputation.pptx |
104.45KB |
| lecture_slides_section3_52_closures_and_recomputation.sml |
685B |
| lecture_slides_section3_53_fold_and_more_closures.pptx |
110.82KB |
| lecture_slides_section3_53_fold_and_more_closures.sml |
940B |
| lecture_slides_section3_54_combining_functions.pptx |
116.36KB |
| lecture_slides_section3_54_combining_functions.sml |
806B |
| lecture_slides_section3_55_currying.pptx |
116.69KB |
| lecture_slides_section3_55_currying.sml |
1.24KB |
| lecture_slides_section3_56_partial_application.pptx |
112.62KB |
| lecture_slides_section3_56_partial_application.sml |
1.98KB |
| lecture_slides_section3_57_currying_wrapup.pptx |
104.59KB |
| lecture_slides_section3_57_currying_wrapup.sml |
535B |
| lecture_slides_section3_58_mutable_references.pptx |
106.93KB |
| lecture_slides_section3_58_mutable_references.sml |
231B |
| lecture_slides_section3_59_callbacks.pptx |
110.72KB |
| lecture_slides_section3_59_callbacks.sml |
942B |
| lecture_slides_section3_60_library_docs.pptx |
104.90KB |
| lecture_slides_section3_61_adts_with_closures.pptx |
106.65KB |
| lecture_slides_section3_61_adts_with_closures.sml |
1.48KB |
| lecture_slides_section3_62_without_closures.pptx |
107.97KB |
| lecture_slides_section3_62_without_closures.sml |
906B |
| lecture_slides_section3_63_java_without_closures.java |
1.84KB |
| lecture_slides_section3_63_java_without_closures.pptx |
120.47KB |
| lecture_slides_section3_64_c_without_closures.c |
2.16KB |
| lecture_slides_section3_64_c_without_closures.pptx |
109.96KB |
| lecture_slides_section4_65_section_introduction.pptx |
106.29KB |
| lecture_slides_section4_66_what_is_type_inference.pptx |
106.01KB |
| lecture_slides_section4_66_what_is_type_inference.sml |
279B |
| lecture_slides_section4_67_ML_type_inference.pptx |
107.60KB |
| lecture_slides_section4_67_ml_type_inference.sml |
369B |
| lecture_slides_section4_68_type_inference_examples.pptx |
101.30KB |
| lecture_slides_section4_68_type_inference_examples.sml |
2.29KB |
| lecture_slides_section4_69_polymorphic_examples.pptx |
101.28KB |
| lecture_slides_section4_69_polymorphic_examples.sml |
1.81KB |
| lecture_slides_section4_70_other_inference.pptx |
121.41KB |
| lecture_slides_section4_70_other_inference.sml |
580B |
| lecture_slides_section4_71_mutual_recursion.pptx |
109.83KB |
| lecture_slides_section4_71_mutual_recursion.sml |
1.53KB |
| lecture_slides_section4_72_namespace_mgmt.pptx |
108.74KB |
| lecture_slides_section4_72_namespace_mgmt.sml |
364B |
| lecture_slides_section4_73_signatures.pptx |
113.46KB |
| lecture_slides_section4_73_signatures.sml |
549B |
| lecture_slides_section4_74_module_example.pptx |
106.45KB |
| lecture_slides_section4_74_module_example.sml |
1.58KB |
| lecture_slides_section4_75_signatures_for_example.pptx |
119.66KB |
| lecture_slides_section4_75_signatures_for_example.sml |
3.10KB |
| lecture_slides_section4_76_signature_matching.pptx |
101.86KB |
| lecture_slides_section4_77_equivalent_structure.pptx |
103.94KB |
| lecture_slides_section4_77_equivalent_structure.sml |
2.78KB |
| lecture_slides_section4_78_another_equivalent_structure.pptx |
106.57KB |
| lecture_slides_section4_78_another_equivalent_structure.sml |
2.35KB |
| lecture_slides_section4_79_modules_different_types.pptx |
106.79KB |
| lecture_slides_section4_79_modules_different_types.sml |
3.97KB |
| lecture_slides_section4_80_function_equivalence.pptx |
113.87KB |
| lecture_slides_section4_81_standard_equivalences.pptx |
122.90KB |
| lecture_slides_section4_82_equivalence_performance.pptx |
105.32KB |
| lecture_slides_section5_100_memoization.pptx |
105.26KB |
| lecture_slides_section5_100_memoization.rkt |
1009B |
| lecture_slides_section5_101_macros_intro.pptx |
111.14KB |
| lecture_slides_section5_101_macros_intro.rkt |
1.20KB |
| lecture_slides_section5_102_three_issues.pptx |
114.73KB |
| lecture_slides_section5_103_define_syntax.pptx |
118.40KB |
| lecture_slides_section5_103_define_syntax.rkt |
1.42KB |
| lecture_slides_section5_104_hygiene.pptx |
120.96KB |
| lecture_slides_section5_105_macro_examples.pptx |
101.64KB |
| lecture_slides_section5_105_macro_examples.rkt |
1.22KB |
| lecture_slides_section5_83_racket_intro.pptx |
106.65KB |
| lecture_slides_section5_83_racket_intro.rkt |
386B |
| lecture_slides_section5_84_racket_basics.pptx |
114.82KB |
| lecture_slides_section5_84_racket_basics.rkt |
1.07KB |
| lecture_slides_section5_85_racket_lists.pptx |
104.54KB |
| lecture_slides_section5_85_racket_lists.rkt |
849B |
| lecture_slides_section5_86_syntax_and_parens.pptx |
110.58KB |
| lecture_slides_section5_87_parens_matter.pptx |
110.98KB |
| lecture_slides_section5_87_parens_matter.rkt |
212B |
| lecture_slides_section5_88_dynamic_typing.pptx |
104.27KB |
| lecture_slides_section5_88_dynamic_typing.rkt |
893B |
| lecture_slides_section5_89_cond.pptx |
108.83KB |
| lecture_slides_section5_89_cond.rkt |
854B |
| lecture_slides_section5_90_local_bindings.pptx |
116.49KB |
| lecture_slides_section5_90_local_bindings.rkt |
1.71KB |
| lecture_slides_section5_91_toplevel_bindings.pptx |
105.13KB |
| lecture_slides_section5_91_toplevel_bindings.rkt |
623B |
| lecture_slides_section5_92_setbang.pptx |
112.98KB |
| lecture_slides_section5_92_setbang.rkt |
906B |
| lecture_slides_section5_93_truth_about_cons.pptx |
105.08KB |
| lecture_slides_section5_93_truth_about_cons.rkt |
457B |
| lecture_slides_section5_94_mcons.pptx |
106.09KB |
| lecture_slides_section5_94_mcons.rkt |
545B |
| lecture_slides_section5_95_thunks.pptx |
108.99KB |
| lecture_slides_section5_95_thunks.rkt |
603B |
| lecture_slides_section5_96_avoid_unnecessary.pptx |
104.91KB |
| lecture_slides_section5_96_avoid_unnecessary.rkt |
1.63KB |
| lecture_slides_section5_97_delay_force.pptx |
109.00KB |
| lecture_slides_section5_97_delay_force.rkt |
1.63KB |
| lecture_slides_section5_98_using_streams.pptx |
106.82KB |
| lecture_slides_section5_98_using_streams.rkt |
1.10KB |
| lecture_slides_section5_99_defining_streams.pptx |
108.04KB |
| lecture_slides_section5_99_defining_streams.rkt |
1.10KB |
| lecture_slides_section6_106_section_topics.pptx |
101.68KB |
| lecture_slides_section6_107_datatypes_without_structs.pptx |
119.24KB |
| lecture_slides_section6_107_datatypes_without_structs.rkt |
2.67KB |
| lecture_slides_section6_107_datatypes_without_structs.sml |
1.54KB |
| lecture_slides_section6_108_datatypes_with_structs.pptx |
117.53KB |
| lecture_slides_section6_108_datatypes_with_structs.rkt |
921B |
| lecture_slides_section6_109_why_structs.pptx |
114.01KB |
| lecture_slides_section6_110_implement_a_language.pptx |
123.68KB |
| lecture_slides_section6_111_interpreter_assumptions.pptx |
114.83KB |
| lecture_slides_section6_111_interpreter_assumptions.rkt |
3.81KB |
| lecture_slides_section6_112_implementing_variables.pptx |
107.73KB |
| lecture_slides_section6_113_implementing_closures.pptx |
106.86KB |
| lecture_slides_section6_114_closures_efficient.pptx |
106.98KB |
| lecture_slides_section6_115_macros_via_functions.pptx |
109.96KB |
| lecture_slides_section6_115_macros_via_functions.rkt |
3.13KB |
| lecture_slides_section6_116_ml_vs_racket.pptx |
112.58KB |
| lecture_slides_section6_117_what_is_static_checking.pptx |
109.35KB |
| lecture_slides_section6_118_soundness_completeness.pptx |
108.27KB |
| lecture_slides_section6_119_weak_typing.pptx |
107.32KB |
| lecture_slides_section6_120_static_vs_dynamic_one.pptx |
126.53KB |
| lecture_slides_section6_120_static_vs_dynamic_one.rkt |
752B |
| lecture_slides_section6_120_static_vs_dynamic_one.sml |
955B |
| lecture_slides_section6_121_static_vs_dynamic_two.pptx |
119.28KB |
| lecture_slides_section6_122_eval.pptx |
108.34KB |
| lecture_slides_section6_122_eval.rkt |
527B |
| lecture_slides_section7_123_ruby_intro.pptx |
111.49KB |
| lecture_slides_section7_123_ruby_intro.rb |
205B |
| lecture_slides_section7_124_classes_objects.pptx |
109.91KB |
| lecture_slides_section7_124_classes_objects.rb |
778B |
| lecture_slides_section7_125_object_state.pptx |
109.80KB |
| lecture_slides_section7_125_object_state.rb |
1.19KB |
| lecture_slides_section7_126_visibility.pptx |
116.65KB |
| lecture_slides_section7_127_example.pptx |
101.59KB |
| lecture_slides_section7_127_example.rb |
2.47KB |
| lecture_slides_section7_128_all_objects.pptx |
106.75KB |
| lecture_slides_section7_129_classes_dynamic.pptx |
104.95KB |
| lecture_slides_section7_129_classes_dynamic.rb |
502B |
| lecture_slides_section7_130_duck_typing.pptx |
108.66KB |
| lecture_slides_section7_131_arrays.pptx |
103.12KB |
| lecture_slides_section7_131_arrays.rb |
959B |
| lecture_slides_section7_132_blocks.pptx |
107.38KB |
| lecture_slides_section7_132_blocks.rb |
646B |
| lecture_slides_section7_133_using_blocks.pptx |
103.00KB |
| lecture_slides_section7_133_using_blocks.rb |
456B |
| lecture_slides_section7_134_procs.pptx |
106.96KB |
| lecture_slides_section7_134_procs.rb |
366B |
| lecture_slides_section7_135_hashes_ranges.pptx |
104.43KB |
| lecture_slides_section7_135_hashes_ranges.rb |
619B |
| lecture_slides_section7_136_subclassing.pptx |
110.79KB |
| lecture_slides_section7_136_subclassing.rb |
1.02KB |
| lecture_slides_section7_137_why_subclassing.pptx |
111.83KB |
| lecture_slides_section7_138_overriding.pptx |
108.56KB |
| lecture_slides_section7_138_overriding.rb |
1.57KB |
| lecture_slides_section7_139_method_lookup.pptx |
112.87KB |
| lecture_slides_section7_140_dynamic_dispatch_vs_closures.pptx |
108.41KB |
| lecture_slides_section7_140_dynamic_dispatch_vs_closures.rb |
719B |
| lecture_slides_section7_140_dynamic_dispatch_vs_closures.sml |
596B |
| lecture_slides_section7_141_manual_dynamic_dispatch.pptx |
131.39KB |
| lecture_slides_section7_141_manual_dynamic_dispatch.rkt |
3.95KB |
| lecture_slides_section8_142_fp_oo_decomposition.java |
1.58KB |
| lecture_slides_section8_142_fp_oo_decomposition.pptx |
116.32KB |
| lecture_slides_section8_142_fp_oo_decomposition.rb |
1.37KB |
| lecture_slides_section8_142_fp_oo_decomposition.sml |
1.09KB |
| lecture_slides_section8_143_adding_operations_or_variants.java |
2.68KB |
| lecture_slides_section8_143_adding_operations_or_variants.pptx |
111.78KB |
| lecture_slides_section8_143_adding_operations_or_variants.rb |
2.02KB |
| lecture_slides_section8_143_adding_operations_or_variants.sml |
1.86KB |
| lecture_slides_section8_144_binary_methods_fp.pptx |
115.01KB |
| lecture_slides_section8_144_binary_methods_fp.sml |
2.53KB |
| lecture_slides_section8_145_double_dispatch.java |
4.32KB |
| lecture_slides_section8_145_double_dispatch.pptx |
121.14KB |
| lecture_slides_section8_145_double_dispatch.rb |
4.05KB |
| lecture_slides_section8_146_multimethods.pptx |
106.99KB |
| lecture_slides_section8_147_multiple_inheritance.pptx |
115.38KB |
| lecture_slides_section8_147_multiple_inheritance.rb |
880B |
| lecture_slides_section8_148_mixins.pptx |
111.90KB |
| lecture_slides_section8_148_mixins.rb |
1.96KB |
| lecture_slides_section8_149_interfaces.pptx |
111.99KB |
| lecture_slides_section8_150_abstract_methods.pptx |
115.08KB |
| lecture_slides_section8_151_subtyping.pptx |
118.77KB |
| lecture_slides_section8_152_subtype_relation.pptx |
105.73KB |
| lecture_slides_section8_153_depth_subtyping.pptx |
111.58KB |
| lecture_slides_section8_154_java_arrays.pptx |
110.31KB |
| lecture_slides_section8_155_function_subtyping.pptx |
121.76KB |
| lecture_slides_section8_156_object_subtyping.pptx |
111.62KB |
| lecture_slides_section8_157_generics_versus_subtyping.pptx |
114.35KB |
| lecture_slides_section8_158_bounded_polymorphism.pptx |
116.93KB |
| lecture_slides_section8_section8sum.pdf |
246.30KB |
| lecture_slides_sectionMotivation_m1_motivation_intro.pptx |
110.04KB |
| lecture_slides_sectionMotivation_m2_motivation_general.pptx |
113.00KB |
| lecture_slides_sectionMotivation_m3_pls_the_same.pptx |
103.15KB |
| lecture_slides_sectionMotivation_m4_why_functional.pptx |
110.44KB |
| lecture_slides_sectionMotivation_m5_why_these_languages.pptx |
110.96KB |