589689.xyz

programming-languages

  • 收录时间:2018-04-12 20:52:31
  • 文件大小:2GB
  • 下载次数:67
  • 最近下载:2020-08-01 03:06:11
  • 磁力链接:
立即下载 复制链接

文件列表

  1. section-7/9 - 17 - Overriding and Dynamic Dispatch (10_56).mp4 34MB
  2. section-5/7 - 18 - Defining Streams (10_49).mp4 31MB
  3. section-7/9 - 20 - Optional_ Dynamic Dispatch Manually in Racket (15_56).mp4 26MB
  4. section-4/6 - 17 - Equivalent Functions (8_41).mp4 26MB
  5. section-8/10 - 13 - Depth Subtyping (8_50).mp4 26MB
  6. section-8/10 - 10 - Optional_ Abstract Methods (8_51).mp4 25MB
  7. section-5/7 - 11 - Mutation with set! (8_28).mp4 23MB
  8. section-8/10 - 5 - Double Dispatch (14_46).mp4 23MB
  9. section-6/8 - 7 - What Your Interpreter Can and Cannot Assume (13_47).mp4 22MB
  10. section-5/7 - 15 - Avoiding Unnecessary Computations (6_48).mp4 22MB
  11. section-5/7 - 13 - mcons For Mutable Pairs (7_38).mp4 21MB
  12. section-6/8 - 3 - Datatype-Programming in Racket Without Structs (13_21).mp4 21MB
  13. section-2/3 - 13 - Each of Pattern Matching - Truth About Functions (14-30).mp4 20MB
  14. section-1/2 - 2 - ML Variable Bindings and Expressions (14-32).mp4 20MB
  15. section-5/7 - 9 - Local Bindings (13_11).mp4 20MB
  16. section-8/10 - 2 - OOP Versus Functional Decomposition (12_51).mp4 19MB
  17. section-6/8 - 17 - Static Versus Dynamic Typing, Part Two (13_47).mp4 19MB
  18. section-7/9 - 4 - Object State (13_14).mp4 19MB
  19. section-1/2 - 4 - The REPL and Errors (12-10).mp4 19MB
  20. section-3/4 - 23 - Optional- Java Without Closures (12-08).mp4 18MB
  21. section-7/9 - 3 - Classes and Objects (12_37).mp4 18MB
  22. section-8/10 - 8 - Mixins (11_52).mp4 18MB
  23. section-7/9 - 6 - A Longer Example (12_19).mp4 18MB
  24. optional-course_motivation/5 - 5 - Optional_ Why ML, Racket, and Ruby_ (12_34).mp4 18MB
  25. section-8/10 - 15 - Function Subtyping (11_17).mp4 17MB
  26. section-8/10 - 16 - Subtyping for OOP (11_44).mp4 17MB
  27. section-8/10 - 3 - Adding Operations or Variants (11_08).mp4 17MB
  28. section-7/9 - 12 - Using Blocks (6_24).mp4 17MB
  29. section-7/9 - 18 - Method-Lookup Rules, Precisely (11_31).mp4 17MB
  30. section-2/3 - 2 - Building Compound Types (5-34).mp4 17MB
  31. section-4/6 - 12 - Signatures for Our Example (11_03).mp4 17MB
  32. section-3/4 - 13 - Fold and More Closures (11-28).mp4 17MB
  33. section-3/4 - 21 - Optional- Abstract Data Types With Closures (11-14).mp4 17MB
  34. section-7/9 - 11 - Blocks (11_34).mp4 16MB
  35. section-2/3 - 7 - Useful Datatypes (11-22).mp4 16MB
  36. section-4/6 - 11 - A Module Example (11_06).mp4 16MB
  37. section-0/1 - 2 - Course Introduction- About Programming Languages (12-04).mp4 16MB
  38. section-7/9 - 10 - Arrays (11_13).mp4 16MB
  39. section-5/7 - 6 - Parentheses Matter! (Debugging Practice) (10_50).mp4 16MB
  40. section-2/3 - 6 - Case Expressions (10-50).mp4 16MB
  41. section-5/7 - 14 - Delayed Evaluation and Thunks (10_12).mp4 16MB
  42. section-3/4 - 15 - Closure Idiom- Currying (10-32).mp4 16MB
  43. section-1/2 - 10 - List Functions (11-21).mp4 16MB
  44. section-8/10 - 7 - Multiple Inheritance (10_18).mp4 16MB
  45. section-8/10 - 11 - Subtyping From the Beginning (10_43).mp4 15MB
  46. section-5/7 - 23 - Optional_ Variables, Macros, and Hygiene (10_52).mp4 15MB
  47. section-2/3 - 16 - Nested Patterns (10-32).mp4 15MB
  48. section-5/7 - 19 - Memoization (10_17).mp4 15MB
  49. optional-course_motivation/5 - 4 - Optional_ Why Functional Languages_ (11_15).mp4 15MB
  50. section-1/2 - 9 - Introducing Lists (10-34).mp4 15MB
  51. section-6/8 - 13 - What is Static Checking_ (10_00).mp4 15MB
  52. section-3/4 - 16 - Partial Application (9-41).mp4 15MB
  53. section-4/6 - 6 - Polymorphic Examples (10_52).mp4 15MB
  54. section-7/9 - 15 - Subclassing (10_11).mp4 15MB
  55. optional-course_motivation/5 - 2 - Optional_ Why Study General PL Concepts_ (10_30).mp4 15MB
  56. section-7/9 - 19 - Dynamic Dispatch Versus Closures (9_38).mp4 15MB
  57. section-6/8 - 4 - Datatype-Programming in Racket With Structs (9_34).mp4 15MB
  58. section-6/8 - 14 - Soundness and Completeness (9_46).mp4 14MB
  59. section-6/8 - 6 - Implementing Programming Languages (10_07).mp4 14MB
  60. section-4/6 - 7 - Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).mp4 14MB
  61. wrapup/11 - 1 - Optional_ Course Content Wrapup (9_43).mp4 14MB
  62. section-4/6 - 18 - Standard Equivalences (10_01).mp4 14MB
  63. section-4/6 - 8 - Mutual Recursion (9_45).mp4 14MB
  64. section-5/7 - 22 - Optional_ Racket Macros With define-syntax (9_25).mp4 14MB
  65. section-5/7 - 7 - Dynamic Typing (9_36).mp4 14MB
  66. section-7/9 - 2 - Introduction to Ruby (10_08).mp4 14MB
  67. section-4/6 - 15 - Another Equivalent Structure (9_01).mp4 14MB
  68. section-6/8 - 16 - Static Versus Dynamic Typing, Part One (9_40).mp4 14MB
  69. section-6/8 - 11 - Racket Functions As “Macros” For Interpreted Language (9_15).mp4 14MB
  70. section-8/10 - 14 - Optional_ Java_C# Arrays (9_11).mp4 14MB
  71. section-5/7 - 3 - Racket Definitions, Functions, Conditionals (10_14).mp4 14MB
  72. section-6/8 - 15 - Weak Typing (9_39).mp4 14MB
  73. section-5/7 - 16 - Delay and Force (9_18).mp4 14MB
  74. section-5/7 - 24 - Optional_ More Macros Examples (9_12).mp4 14MB
  75. section-2/3 - 21 - Tail Recursion (9-44).mp4 14MB
  76. section-0/1 - 3 - Grading Policy (12-59).mp4 13MB
  77. wrapup/11 - 2 - Optional_ MOOC Wrapup (9_39).mp4 13MB
  78. section-3/4 - 14 - Closure Idiom- Combining Functions (9-18).mp4 13MB
  79. section-7/9 - 14 - Hashes and Ranges (8_59).mp4 13MB
  80. section-3/4 - 5 - Anonymous Functions (9-17).mp4 13MB
  81. section-6/8 - 10 - Optional_ Are Closures Efficient_ (9_03).mp4 13MB
  82. section-1/2 - 14 - Options (9-09).mp4 13MB
  83. section-6/8 - 12 - ML Versus Racket (8_53).mp4 13MB
  84. section-3/4 - 3 - Functions as Arguments (8-40).mp4 13MB
  85. section-3/4 - 8 - Generalizing Prior Topics (9-01).mp4 13MB
  86. section-1/2 - 7 - Functions Formally (8-56).mp4 13MB
  87. section-7/9 - 7 - Everything is an Object (8_15).mp4 13MB
  88. section-0/1 - 1 - Course Introduction- About the Course (12-23).mp4 13MB
  89. section-1/2 - 8 - Pairs and Other Tuples (9-16).mp4 13MB
  90. section-2/3 - 11 - Lists and Options are Datatypes (9-10).mp4 13MB
  91. section-5/7 - 4 - Racket Lists (9_07).mp4 13MB
  92. section-8/10 - 12 - The Subtype Relation (8_20).mp4 12MB
  93. section-3/4 - 11 - Why Lexical Scope (11-44).mp4 12MB
  94. section-8/10 - 17 - Generics Versus Subtyping (8_16).mp4 12MB
  95. section-1/2 - 3 - Rules for Expressions (9-13).mp4 12MB
  96. section-5/7 - 20 - Macros_ The Key Points (8_52).mp4 12MB
  97. section-7/9 - 5 - Visibility (8_39).mp4 12MB
  98. section-5/7 - 2 - Introduction to Racket (8_23).mp4 12MB
  99. section-3/4 - 19 - Closure Idiom- Callbacks (8-25).mp4 12MB
  100. section-2/3 - 12 - Polymorphic Datatypes (8-11).mp4 12MB
  101. section-3/4 - 24 - Optional- C Without Closures (10-56).mp4 12MB
  102. section-6/8 - 5 - Advantages of Structs (8_13).mp4 12MB
  103. section-2/3 - 9 - Another Expression Example (8-01).mp4 12MB
  104. section-8/10 - 18 - Bounded Polymorphism (8_05).mp4 12MB
  105. section-6/8 - 18 - Optional_ eval and quote (7_58).mp4 12MB
  106. section-2/3 - 3 - Records (8-25).mp4 12MB
  107. section-3/4 - 4 - Polymorphic Types and Functions as Arguments (7-57).mp4 12MB
  108. section-8/10 - 4 - Binary Methods with Functional Decomposition (7_18).mp4 12MB
  109. section-3/4 - 18 - Mutable References (8-07).mp4 11MB
  110. section-7/9 - 8 - Class Definitions are Dynamic (7_42).mp4 11MB
  111. section-2/3 - 15 - Polymorphic and Equality Types (8-00).mp4 11MB
  112. section-5/7 - 12 - The Truth About Cons (7_46).mp4 11MB
  113. section-2/3 - 20 - Exceptions (7-47).mp4 11MB
  114. section-3/4 - 2 - Introduction to First-Class Functions (7-50).mp4 11MB
  115. section-3/4 - 20 - Standard-Library Documentation (7-00).mp4 11MB
  116. section-5/7 - 17 - Using Streams (10_10).mp4 11MB
  117. section-8/10 - 9 - Interfaces (7_33).mp4 11MB
  118. section-7/9 - 9 - Duck Typing (7_28).mp4 11MB
  119. section-1/2 - 16 - Benefits of No Mutation (7-24).mp4 11MB
  120. section-2/3 - 17 - More Nested Patterns (10-43).mp4 11MB
  121. section-1/2 - 13 - Let and Efficiency (10-10).mp4 11MB
  122. section-1/2 - 12 - Nested Functions (7-38).mp4 11MB
  123. section-1/2 - 11 - Let Expressions (7-51).mp4 11MB
  124. section-2/3 - 22 - Accumulators for Tail Recursion (7-39).mp4 11MB
  125. section-3/4 - 9 - Lexical Scope (7-22).mp4 11MB
  126. section-7/9 - 16 - Why Use Subclassing_ (7_16).mp4 10MB
  127. section-5/7 - 21 - Optional_ Tokenization, Parenthesization, and Scope (7_30).mp4 10MB
  128. section-4/6 - 5 - Type Inference Examples (10_27).mp4 10MB
  129. section-1/2 - 6 - Functions Informally (7-37).mp4 10MB
  130. section-4/6 - 10 - Signatures and Hiding Things (7_02).mp4 10MB
  131. section-7/9 - 13 - Procs (7_08).mp4 10MB
  132. section-1/2 - 15 - Booleans and Comparison Operations (7-00).mp4 10MB
  133. section-4/6 - 14 - An Equivalent Structure (6_38).mp4 10MB
  134. section-3/4 - 17 - Currying Wrapup (6-40).mp4 10MB
  135. section-3/4 - 12 - Closures and Recomputation (6-30).mp4 10MB
  136. section-2/3 - 14 - A Little Type Inference (6-28).mp4 10MB
  137. section-2/3 - 18 - Nested Patterns Precisely (6-35).mp4 10MB
  138. optional-course_motivation/5 - 3 - Optional_ Are All PLs the Same_ (6_51).mp4 10MB
  139. section-6/8 - 9 - Implementing Closures (6_32).mp4 10MB
  140. section-2/3 - 10 - Type Synonyms (6-19).mp4 9MB
  141. section-4/6 - 9 - Modules for Namespace Management (6_25).mp4 9MB
  142. section-5/7 - 8 - Cond (8_52).mp4 9MB
  143. section-1/2 - 5 - Shadowing (6-49).mp4 9MB
  144. section-2/3 - 5 - Datatype Bindings (8-39).mp4 9MB
  145. section-6/8 - 8 - Implementing Variables and Environments (6_29).mp4 9MB
  146. section-3/4 - 7 - Map and Filter (8-56).mp4 9MB
  147. section-4/6 - 19 - Equivalence Versus Performance (6_00).mp4 9MB
  148. section-1/2 - 18 - Pieces of a Language (6-02).mp4 9MB
  149. section-2/3 - 4 - Tuples as Syntactic Sugar (6-06).mp4 9MB
  150. section-4/6 - 4 - ML Type Inference (6_09).mp4 9MB
  151. section-5/7 - 5 - Syntax and Parentheses (8_36).mp4 9MB
  152. optional-course_motivation/5 - 1 - Optional_ Course-Motivation Introduction (5_56).mp4 8MB
  153. section-4/6 - 3 - What is Type Inference (5_37).mp4 8MB
  154. section-3/4 - 10 - Lexical Scope and Higher-Order Functions (7-37).mp4 8MB
  155. section-2/3 - 23 - Perspective on Tail Recursion (5-33).mp4 8MB
  156. section-5/7 - 10 - Toplevel Bindings (4_54).mp4 7MB
  157. section-1/2 - 17 - Optional- Java Mutation (4-44).mp4 7MB
  158. section-3/4 - 6 - Unnecessary Function Wrapping (5-05).mp4 7MB
  159. section-8/10 - 6 - Optional_ Multimethods (6_36).mp4 7MB
  160. section-3/4 - 22 - Optional- Closure Idioms Without Closures (4-48).mp4 7MB
  161. section-0/1 - 7 - SML Mode installation (3-52).mp4 6MB
  162. section-2/3 - 8 - Pattern Matching So Far (4-37).mp4 6MB
  163. section-4/6 - 13 - Signature Matching (4_03).mp4 6MB
  164. section-4/6 - 16 - Different Modules Define Different Types (3_32).mp4 6MB
  165. section-2/3 - 19 - Optional- Function Patterns (3-40).mp4 5MB
  166. section-0/1 - 5 - Emacs installation (2-27).mp4 3MB
  167. section-6/8 - 2 - Section Introduction (2_08).mp4 3MB
  168. section-0/1 - 6 - SML installation (1-47).mp4 3MB
  169. section-4/6 - 2 - Section Introduction (1_45).mp4 2MB
  170. section-0/1 - 4 - Software Installation Introduction (1-22).mp4 2MB
  171. section-6/8 - 1 - Section 6 Reading Notes.mp4 705KB
  172. section-7/9 - 1 - Section 7 Reading Notes.mp4 705KB
  173. section-2/3 - 1 - Section 2 Reading Notes.mp4 705KB
  174. section-1/2 - 1 - Section 1 Reading Notes.mp4 705KB
  175. section-4/6 - 1 - Section 4 Reading Notes.mp4 705KB
  176. section-3/4 - 1 - Section 3 Reading Notes.mp4 705KB
  177. section-8/10 - 1 - Section 8 Reading Notes.mp4 705KB
  178. section-5/7 - 1 - Section 5 Reading Notes.mp4 705KB
  179. section-0/notes/1_meta_intro.pdf 379KB
  180. section-8/notes/section8sum.pdf 246KB
  181. section-2/notes/section2sum.pdf 244KB
  182. section-7/notes/section7sum.pdf 242KB
  183. section-6/notes/section6sum.pdf 238KB
  184. section-1/notes/14_let_efficiency.pdf 230KB
  185. section-3/notes/section3sum.pdf 226KB
  186. section-3/notes/56_partial_application.pdf 222KB
  187. section-1/notes/section1sum.pdf 221KB
  188. section-4/notes/section4sum.pdf 219KB
  189. section-5/notes/86_syntax_and_parens.pdf 210KB
  190. section-5/notes/section5sum.pdf 208KB
  191. section-7/notes/138_overriding.pdf 205KB
  192. section-8/notes/153_depth_subtyping.pdf 199KB
  193. section-5/notes/90_local_bindings.pdf 184KB
  194. section-5/notes/92_setbang.pdf 184KB
  195. section-8/notes/146_multimethods.pdf 183KB
  196. section-5/notes/91_toplevel_bindings.pdf 180KB
  197. section-4/notes/73_signatures.pdf 170KB
  198. section-2/notes/23_datatype_bindings.pdf 164KB
  199. section-5/notes/102_three_issues.pdf 163KB
  200. section-5/notes/98_using_streams.pdf 162KB
  201. section-2/notes/20_building_new_types.pdf 160KB
  202. section-3/notes/47_map_and_filter.pdf 151KB
  203. section-5/notes/89_cond.pdf 149KB
  204. section-8/notes/150_abstract_methods.pdf 148KB
  205. assignments/hw5.pdf 145KB
  206. section-7/notes/141_manual_dynamic_dispatch.pdf 144KB
  207. section-3/notes/55_currying.pdf 143KB
  208. section-3/notes/59_callbacks.pdf 142KB
  209. section-1/notes/17_no_mutation.pdf 140KB
  210. section-4/notes/80_function_equivalence.pdf 140KB
  211. section-2/notes/31_eachof_pattern_matching.pdf 136KB
  212. section-7/notes/129_classes_dynamic.pdf 135KB
  213. section-8/notes/155_function_subtyping.pdf 131KB
  214. section-6/notes/110_implement_a_language.pdf 131KB
  215. section-6/notes/116_ml_vs_racket.pdf 130KB
  216. section-1/notes/12_let_expressions.pdf 130KB
  217. section-7/notes/133_using_blocks.pdf 127KB
  218. section-1/notes/4_rules_for_expressions.pdf 126KB
  219. section-1/notes/8_functions_formal.pdf 126KB
  220. section-1/notes/18_optional_java_mutation.pdf 126KB
  221. section-3/notes/62_without_closures.pdf 125KB
  222. section-5/notes/96_avoid_unnecessary.pdf 125KB
  223. assignments/hw3.pdf 125KB
  224. section-2/notes/39_tail_recursion.pdf 123KB
  225. section-8/notes/145_double_dispatch.pdf 122KB
  226. section-6/notes/122_eval.pdf 122KB
  227. section-1/notes/3_ML_expressions_and_variable_bindings.pdf 121KB
  228. section-8/notes/147_multiple_inheritance.pdf 121KB
  229. section-6/notes/117_what_is_static_checking.pdf 120KB
  230. assignments/hw7.pdf 120KB
  231. section-6/notes/121_static_vs_dynamic_two.pdf 119KB
  232. section-5/notes/103_define_syntax.pdf 119KB
  233. section-4/notes/70_other_inference.pdf 119KB
  234. section-3/notes/63_java_without_closures.pdf 119KB
  235. assignments/hw4.pdf 118KB
  236. section-1/notes/9_tuples.pdf 118KB
  237. section-8/notes/158_bounded_polymorphism.pdf 118KB
  238. section-4/notes/75_signatures_for_example.pdf 117KB
  239. section-4/notes/72_namespace_mgmt.pdf 116KB
  240. section-6/notes/107_datatypes_without_structs.pdf 116KB
  241. section-8/notes/151_subtyping.pdf 115KB
  242. section-6/notes/120_static_vs_dynamic_one.pdf 115KB
  243. section-6/notes/109_why_structs.pdf 114KB
  244. section-6/notes/108_datatypes_with_structs.pdf 113KB
  245. section-8/notes/142_fp_oo_decomposition.pdf 113KB
  246. section-8/notes/157_generics_versus_subtyping.pdf 113KB
  247. section-7/notes/139_method_lookup.pdf 113KB
  248. section-7/notes/126_visibility.pdf 113KB
  249. section-7/notes/125_object_state.pdf 111KB
  250. section-8/notes/149_interfaces.pdf 111KB
  251. section-8/notes/154_java_arrays.pdf 111KB
  252. assignments/hw2.pdf 111KB
  253. section-2/notes/25_useful_datatypes.pdf 111KB
  254. section-1/notes/7_functions_informal.pdf 110KB
  255. section-8/notes/148_mixins.pdf 110KB
  256. section-5/notes/101_macros_intro.pdf 110KB
  257. section-5/notes/104_hygiene.pdf 110KB
  258. section-1/notes/16_booleans.pdf 110KB
  259. section-3/notes/58_mutable_references.pdf 109KB
  260. section-8/notes/143_adding_operations_or_variants.pdf 109KB
  261. section-6/notes/119_weak_typing.pdf 109KB
  262. section-1/notes/13_nested_functions.pdf 109KB
  263. section-5/notes/94_mcons.pdf 109KB
  264. section-2/notes/33_polymorphic_and_equality_types.pdf 109KB
  265. section-6/notes/112_implementing_variables.pdf 109KB
  266. section-8/notes/156_object_subtyping.pdf 109KB
  267. section-7/notes/136_subclassing.pdf 108KB
  268. section-3/notes/54_combining_functions.pdf 108KB
  269. section-4/notes/67_ML_type_inference.pdf 108KB
  270. section-2/notes/30_polymorphic_datatypes.pdf 108KB
  271. section-5/notes/99_defining_streams.pdf 108KB
  272. section-0/notes/2b_grading_policy.pdf 107KB
  273. section-7/notes/134_procs.pdf 107KB
  274. section-7/notes/124_classes_objects.pdf 107KB
  275. section-6/notes/111_interpreter_assumptions.pdf 107KB
  276. section-1/notes/10_lists.pdf 107KB
  277. section-7/notes/123_ruby_intro.pdf 106KB
  278. section-8/notes/144_binary_methods_fp.pdf 106KB
  279. section-2/notes/26_precise_pattern_matching_sofar.pdf 106KB
  280. section-3/notes/51_why_lexical_scope.pdf 106KB
  281. section-2/notes/29_list_and_option_datatypes.pdf 106KB
  282. section-5/notes/95_thunks.pdf 106KB
  283. section-5/notes/93_truth_about_cons.pdf 106KB
  284. section-4/notes/78_another_equivalent_structure.pdf 105KB
  285. section-3/notes/53_fold_and_more_closures.pdf 105KB
  286. section-7/notes/137_why_subclassing.pdf 105KB
  287. section-3/notes/49_lexical_scope.pdf 105KB
  288. section-4/notes/81_standard_equivalences.pdf 105KB
  289. section-2/notes/21_records.pdf 105KB
  290. section-7/notes/140_dynamic_dispatch_vs_closures.pdf 105KB
  291. section-6/notes/118_soundness_completeness.pdf 105KB
  292. section-7/notes/132_blocks.pdf 104KB
  293. section-4/notes/74_module_example.pdf 104KB
  294. section-2/notes/24_case_expressions.pdf 104KB
  295. section-3/notes/64_c_without_closures.pdf 104KB
  296. section-3/notes/60_library_docs.pdf 104KB
  297. section-3/notes/50_lexical_scope_and_functions.pdf 104KB
  298. section-5/notes/84_racket_basics.pdf 104KB
  299. section-8/notes/152_subtype_relation.pdf 104KB
  300. section-4/notes/71_mutual_recursion.pdf 103KB
  301. section-2/notes/40_accumulators.pdf 103KB
  302. assignments/hw1.pdf 103KB
  303. section-7/notes/128_all_objects.pdf 103KB
  304. section-1/notes/15_options.pdf 103KB
  305. section-2/notes/22_tuples_as_syntactic_sugar.pdf 103KB
  306. section-1/notes/6_shadowing.pdf 103KB
  307. assignments/hw6.pdf 103KB
  308. section-7/notes/130_duck_typing.pdf 103KB
  309. section-5/notes/97_delay_force.pdf 102KB
  310. section-6/notes/114_closures_efficient.pdf 102KB
  311. section-3/notes/42_functions_intro.pdf 102KB
  312. section-2/notes/32_type_inference.pdf 102KB
  313. section-6/notes/106_section_topics.pptx 102KB
  314. section-4/notes/66_what_is_type_inference.pdf 101KB
  315. section-0/notes/2_pl_intro.pdf 101KB
  316. section-1/notes/11_list_functions.pdf 101KB
  317. section-3/notes/48_generalizing_prior_topics.pdf 100KB
  318. section-5/notes/83_racket_intro.pdf 99KB
  319. section-3/notes/45_anonymous_functions.pdf 99KB
  320. section-4/notes/77_equivalent_structure.pdf 99KB
  321. section-4/notes/82_equivalence_performance.pdf 99KB
  322. section-1/notes/5_REPL_and_errors.pdf 99KB
  323. section-3/notes/44_types_and_functions.pdf 98KB
  324. section-3/notes/57_currying_wrapup.pdf 98KB
  325. section-2/notes/34_nested_patterns.pdf 98KB
  326. section-7/notes/135_hashes_ranges.pdf 98KB
  327. section-2/notes/41_tail_recursion_perspective.pdf 97KB
  328. section-6/notes/113_implementing_closures.pdf 97KB
  329. section-2/notes/27_type_synonyms.pdf 97KB
  330. section-5/notes/100_memoization.pdf 97KB
  331. section-3/notes/43_functions_as_arguments.pdf 97KB
  332. section-5/notes/88_dynamic_typing.pdf 96KB
  333. section-6/notes/115_macros_via_functions.pdf 96KB
  334. section-2/notes/38_exceptions.pdf 95KB
  335. section-3/notes/52_closures_and_recomputation.pdf 95KB
  336. section-4/notes/79_modules_different_types.pdf 95KB
  337. section-2/notes/37_function_patterns.pdf 95KB
  338. section-5/notes/85_racket_lists.pdf 94KB
  339. section-5/notes/87_parens_matter.pdf 94KB
  340. section-2/notes/28_another_expression_example.pdf 94KB
  341. section-4/notes/76_signature_matching.pdf 92KB
  342. section-7/notes/131_arrays.pdf 91KB
  343. section-2/notes/36_nested_patterns_precisely.pdf 91KB
  344. optional-course_motivation/m5_why_these_languages.pdf 90KB
  345. section-2/notes/35_more_nested_patterns.pdf 90KB
  346. optional-course_motivation/m4_why_functional.pdf 89KB
  347. section-7/notes/127_example.pdf 89KB
  348. section-3/notes/46_unnecessary_function_wrapping.pdf 86KB
  349. section-5/notes/105_macro_examples.pdf 85KB
  350. section-1/notes/19_language_pieces.pdf 84KB
  351. section-3/notes/61_adts_with_closures.pdf 79KB
  352. section-4/notes/65_section_introduction.pdf 79KB
  353. assignments/hw0.pdf 77KB
  354. section-4/notes/69_polymorphic_examples.pdf 76KB
  355. optional-course_motivation/m2_motivation_general.pdf 76KB
  356. section-4/notes/68_type_inference_examples.pdf 76KB
  357. optional-course_motivation/m1_motivation_intro.pdf 73KB
  358. optional-course_motivation/m3_pls_the_same.pdf 68KB
  359. assignments/dan.jpg 35KB
  360. section-0/1 - 1 - Course Introduction- About the Course (12-23).srt 23KB
  361. section-0/1 - 3 - Grading Policy (12-59).srt 22KB
  362. section-7/9 - 20 - Optional_ Dynamic Dispatch Manually in Racket (15_56).srt 22KB
  363. section-8/10 - 5 - Double Dispatch (14_46).srt 21KB
  364. section-2/3 - 13 - Each of Pattern Matching - Truth About Functions (14-30).srt 21KB
  365. optional-course_motivation/5 - 5 - Optional_ Why ML, Racket, and Ruby_ (12_34).srt 20KB
  366. section-1/2 - 2 - ML Variable Bindings and Expressions (14-32).srt 20KB
  367. section-6/8 - 17 - Static Versus Dynamic Typing, Part Two (13_47).srt 20KB
  368. section-1/2 - 4 - The REPL and Errors (12-10).srt 19KB
  369. section-6/8 - 7 - What Your Interpreter Can and Cannot Assume (13_47).srt 19KB
  370. section-0/1 - 2 - Course Introduction- About Programming Languages (12-04).srt 19KB
  371. section-5/7 - 9 - Local Bindings (13_11).srt 19KB
  372. section-8/10 - 2 - OOP Versus Functional Decomposition (12_51).srt 18KB
  373. section-3/4 - 23 - Optional- Java Without Closures (12-08).srt 18KB
  374. section-6/8 - 3 - Datatype-Programming in Racket Without Structs (13_21).srt 18KB
  375. section-7/9 - 4 - Object State (13_14).srt 18KB
  376. section-7/9 - 3 - Classes and Objects (12_37).srt 17KB
  377. section-7/9 - 6 - A Longer Example (12_19).srt 17KB
  378. optional-course_motivation/5 - 4 - Optional_ Why Functional Languages_ (11_15).srt 17KB
  379. section-2/3 - 7 - Useful Datatypes (11-22).srt 17KB
  380. section-8/10 - 8 - Mixins (11_52).srt 17KB
  381. assignments/dog.jpg 17KB
  382. section-3/4 - 21 - Optional- Abstract Data Types With Closures (11-14).srt 17KB
  383. section-8/10 - 16 - Subtyping for OOP (11_44).srt 17KB
  384. section-8/10 - 3 - Adding Operations or Variants (11_08).srt 16KB
  385. section-3/4 - 11 - Why Lexical Scope (11-44).srt 16KB
  386. section-7/9 - 11 - Blocks (11_34).srt 16KB
  387. section-3/4 - 24 - Optional- C Without Closures (10-56).srt 16KB
  388. section-1/2 - 10 - List Functions (11-21).srt 16KB
  389. section-3/4 - 13 - Fold and More Closures (11-28).srt 16KB
  390. section-2/3 - 6 - Case Expressions (10-50).srt 16KB
  391. section-7/9 - 18 - Method-Lookup Rules, Precisely (11_31).srt 16KB
  392. section-7/9 - 10 - Arrays (11_13).srt 16KB
  393. wrapup/11 - 2 - Optional_ MOOC Wrapup (9_39).srt 16KB
  394. section-7/9 - 2 - Introduction to Ruby (10_08).srt 16KB
  395. section-4/6 - 12 - Signatures for Our Example (11_03).srt 16KB
  396. section-4/6 - 11 - A Module Example (11_06).srt 16KB
  397. optional-course_motivation/5 - 2 - Optional_ Why Study General PL Concepts_ (10_30).srt 16KB
  398. section-1/2 - 9 - Introducing Lists (10-34).srt 16KB
  399. assignments/dog2.jpg 16KB
  400. wrapup/11 - 1 - Optional_ Course Content Wrapup (9_43).srt 15KB
  401. section-2/3 - 17 - More Nested Patterns (10-43).srt 15KB
  402. section-7/9 - 17 - Overriding and Dynamic Dispatch (10_56).srt 15KB
  403. section-2/3 - 16 - Nested Patterns (10-32).srt 15KB
  404. section-6/8 - 6 - Implementing Programming Languages (10_07).srt 15KB
  405. section-4/6 - 7 - Optional_ The Value Restriction and Other Type-Inference Challenges (9_53).srt 15KB
  406. section-8/10 - 7 - Multiple Inheritance (10_18).srt 15KB
  407. section-6/8 - 13 - What is Static Checking_ (10_00).srt 15KB
  408. section-1/2 - 13 - Let and Efficiency (10-10).srt 15KB
  409. section-5/7 - 6 - Parentheses Matter! (Debugging Practice) (10_50).srt 15KB
  410. section-8/10 - 15 - Function Subtyping (11_17).srt 15KB
  411. section-8/10 - 11 - Subtyping From the Beginning (10_43).srt 14KB
  412. section-4/6 - 8 - Mutual Recursion (9_45).srt 14KB
  413. section-3/4 - 15 - Closure Idiom- Currying (10-32).srt 14KB
  414. section-5/7 - 23 - Optional_ Variables, Macros, and Hygiene (10_52).srt 14KB
  415. section-6/8 - 15 - Weak Typing (9_39).srt 14KB
  416. section-4/6 - 5 - Type Inference Examples (10_27).srt 14KB
  417. section-6/8 - 16 - Static Versus Dynamic Typing, Part One (9_40).srt 14KB
  418. section-2/3 - 11 - Lists and Options are Datatypes (9-10).srt 14KB
  419. section-5/7 - 3 - Racket Definitions, Functions, Conditionals (10_14).srt 14KB
  420. section-7/9 - 15 - Subclassing (10_11).srt 14KB
  421. section-4/6 - 18 - Standard Equivalences (10_01).srt 14KB
  422. section-3/4 - 5 - Anonymous Functions (9-17).srt 14KB
  423. section-2/3 - 21 - Tail Recursion (9-44).srt 14KB
  424. section-4/6 - 6 - Polymorphic Examples (10_52).srt 14KB
  425. section-5/7 - 7 - Dynamic Typing (9_36).srt 14KB
  426. section-5/7 - 19 - Memoization (10_17).srt 13KB
  427. section-6/8 - 12 - ML Versus Racket (8_53).srt 13KB
  428. section-3/4 - 14 - Closure Idiom- Combining Functions (9-18).srt 13KB
  429. section-3/4 - 16 - Partial Application (9-41).srt 13KB
  430. section-1/2 - 3 - Rules for Expressions (9-13).srt 13KB
  431. section-1/2 - 8 - Pairs and Other Tuples (9-16).srt 13KB
  432. section-5/7 - 4 - Racket Lists (9_07).srt 13KB
  433. section-1/2 - 14 - Options (9-09).srt 13KB
  434. section-6/8 - 14 - Soundness and Completeness (9_46).srt 13KB
  435. section-3/4 - 8 - Generalizing Prior Topics (9-01).srt 13KB
  436. section-2/3 - 3 - Records (8-25).srt 13KB
  437. section-4/6 - 17 - Equivalent Functions (8_41).srt 13KB
  438. section-5/7 - 2 - Introduction to Racket (8_23).srt 13KB
  439. section-8/10 - 14 - Optional_ Java_C# Arrays (9_11).srt 13KB
  440. section-6/8 - 10 - Optional_ Are Closures Efficient_ (9_03).srt 13KB
  441. section-1/2 - 7 - Functions Formally (8-56).srt 13KB
  442. section-5/7 - 18 - Defining Streams (10_49).srt 13KB
  443. section-5/7 - 5 - Syntax and Parentheses (8_36).srt 13KB
  444. section-7/9 - 19 - Dynamic Dispatch Versus Closures (9_38).srt 13KB
  445. section-5/7 - 17 - Using Streams (10_10).srt 12KB
  446. section-5/7 - 8 - Cond (8_52).srt 12KB
  447. section-5/7 - 14 - Delayed Evaluation and Thunks (10_12).srt 12KB
  448. section-3/4 - 2 - Introduction to First-Class Functions (7-50).srt 12KB
  449. section-3/4 - 7 - Map and Filter (8-56).srt 12KB
  450. section-4/6 - 15 - Another Equivalent Structure (9_01).srt 12KB
  451. section-7/9 - 14 - Hashes and Ranges (8_59).srt 12KB
  452. section-2/3 - 9 - Another Expression Example (8-01).srt 12KB
  453. section-2/3 - 5 - Datatype Bindings (8-39).srt 12KB
  454. section-6/8 - 4 - Datatype-Programming in Racket With Structs (9_34).srt 12KB
  455. section-7/9 - 5 - Visibility (8_39).srt 12KB
  456. section-8/10 - 13 - Depth Subtyping (8_50).srt 12KB
  457. section-8/10 - 17 - Generics Versus Subtyping (8_16).srt 12KB
  458. section-1/2 - 11 - Let Expressions (7-51).srt 12KB
  459. section-2/3 - 12 - Polymorphic Datatypes (8-11).srt 12KB
  460. section-8/10 - 10 - Optional_ Abstract Methods (8_51).srt 12KB
  461. section-3/4 - 3 - Functions as Arguments (8-40).srt 12KB
  462. section-2/3 - 15 - Polymorphic and Equality Types (8-00).srt 12KB
  463. section-5/7 - 16 - Delay and Force (9_18).srt 12KB
  464. assignments/hw6provided.rb 12KB
  465. section-5/7 - 22 - Optional_ Racket Macros With define-syntax (9_25).srt 12KB
  466. section-6/8 - 11 - Racket Functions As “Macros” For Interpreted Language (9_15).srt 12KB
  467. section-3/4 - 19 - Closure Idiom- Callbacks (8-25).srt 12KB
  468. section-8/10 - 12 - The Subtype Relation (8_20).srt 12KB
  469. section-5/7 - 24 - Optional_ More Macros Examples (9_12).srt 12KB
  470. section-1/2 - 12 - Nested Functions (7-38).srt 12KB
  471. section-8/10 - 18 - Bounded Polymorphism (8_05).srt 12KB
  472. section-7/9 - 7 - Everything is an Object (8_15).srt 11KB
  473. section-6/8 - 18 - Optional_ eval and quote (7_58).srt 11KB
  474. section-5/7 - 11 - Mutation with set! (8_28).srt 11KB
  475. section-3/4 - 4 - Polymorphic Types and Functions as Arguments (7-57).srt 11KB
  476. section-5/7 - 20 - Macros_ The Key Points (8_52).srt 11KB
  477. section-2/3 - 20 - Exceptions (7-47).srt 11KB
  478. section-6/8 - 5 - Advantages of Structs (8_13).srt 11KB
  479. section-8/10 - 4 - Binary Methods with Functional Decomposition (7_18).srt 11KB
  480. section-1/2 - 6 - Functions Informally (7-37).srt 11KB
  481. section-1/2 - 16 - Benefits of No Mutation (7-24).srt 11KB
  482. section-1/2 - 15 - Booleans and Comparison Operations (7-00).srt 11KB
  483. section-3/4 - 18 - Mutable References (8-07).srt 11KB
  484. section-2/3 - 22 - Accumulators for Tail Recursion (7-39).srt 11KB
  485. section-5/7 - 12 - The Truth About Cons (7_46).srt 10KB
  486. optional-course_motivation/5 - 3 - Optional_ Are All PLs the Same_ (6_51).srt 10KB
  487. section-7/9 - 9 - Duck Typing (7_28).srt 10KB
  488. section-8/10 - 9 - Interfaces (7_33).srt 10KB
  489. section-3/4 - 20 - Standard-Library Documentation (7-00).srt 10KB
  490. section-7/9 - 8 - Class Definitions are Dynamic (7_42).srt 10KB
  491. section-3/4 - 10 - Lexical Scope and Higher-Order Functions (7-37).srt 10KB
  492. section-5/7 - 21 - Optional_ Tokenization, Parenthesization, and Scope (7_30).srt 10KB
  493. section-7/9 - 16 - Why Use Subclassing_ (7_16).srt 10KB
  494. section-3/4 - 9 - Lexical Scope (7-22).srt 10KB
  495. section-7/9 - 13 - Procs (7_08).srt 10KB
  496. section-4/6 - 10 - Signatures and Hiding Things (7_02).srt 10KB
  497. section-1/2 - 18 - Pieces of a Language (6-02).srt 10KB
  498. optional-course_motivation/5 - 1 - Optional_ Course-Motivation Introduction (5_56).srt 10KB
  499. section-2/3 - 10 - Type Synonyms (6-19).srt 9KB
  500. section-8/10 - 6 - Optional_ Multimethods (6_36).srt 9KB
  501. assignments/curry.jpg 9KB
  502. section-4/6 - 9 - Modules for Namespace Management (6_25).srt 9KB
  503. section-6/8 - 8 - Implementing Variables and Environments (6_29).srt 9KB
  504. section-2/3 - 18 - Nested Patterns Precisely (6-35).srt 9KB
  505. section-2/3 - 14 - A Little Type Inference (6-28).srt 9KB
  506. section-4/6 - 4 - ML Type Inference (6_09).srt 9KB
  507. section-3/4 - 17 - Currying Wrapup (6-40).srt 9KB
  508. section-1/2 - 5 - Shadowing (6-49).srt 9KB
  509. section-6/8 - 9 - Implementing Closures (6_32).srt 9KB
  510. section-4/6 - 19 - Equivalence Versus Performance (6_00).srt 9KB
  511. section-7/9 - 12 - Using Blocks (6_24).srt 9KB
  512. section-3/4 - 12 - Closures and Recomputation (6-30).srt 9KB
  513. section-5/7 - 13 - mcons For Mutable Pairs (7_38).srt 9KB
  514. section-4/6 - 14 - An Equivalent Structure (6_38).srt 9KB
  515. section-2/3 - 4 - Tuples as Syntactic Sugar (6-06).srt 8KB
  516. section-5/7 - 15 - Avoiding Unnecessary Computations (6_48).srt 8KB
  517. section-2/3 - 2 - Building Compound Types (5-34).srt 8KB
  518. section-4/6 - 3 - What is Type Inference (5_37).srt 8KB
  519. section-2/3 - 23 - Perspective on Tail Recursion (5-33).srt 8KB
  520. assignments/hw6graphicsswing.rb 7KB
  521. section-5/7 - 10 - Toplevel Bindings (4_54).srt 7KB
  522. section-3/4 - 22 - Optional- Closure Idioms Without Closures (4-48).srt 7KB
  523. section-3/4 - 6 - Unnecessary Function Wrapping (5-05).srt 7KB
  524. assignments/hw7.sml 7KB
  525. section-1/2 - 17 - Optional- Java Mutation (4-44).srt 7KB
  526. section-2/3 - 8 - Pattern Matching So Far (4-37).srt 7KB
  527. section-0/1 - 7 - SML Mode installation (3-52).srt 6KB
  528. section-4/6 - 13 - Signature Matching (4_03).srt 6KB
  529. assignments/hw7.rb 6KB
  530. section-2/3 - 19 - Optional- Function Patterns (3-40).srt 5KB
  531. assignments/hw7testsprovided.rb 5KB
  532. section-4/6 - 16 - Different Modules Define Different Types (3_32).srt 5KB
  533. section-8/code/145_double_dispatch.java 4KB
  534. section-8/code/145_double_dispatch.rb 4KB
  535. section-3/code/64_c_without_closures.c 4KB
  536. section-4/code/79_modules_different_types.sml 4KB
  537. section-7/code/141_manual_dynamic_dispatch.rkt 4KB
  538. section-6/code/111_interpreter_assumptions.rkt 4KB
  539. section-0/1 - 5 - Emacs installation (2-27).srt 4KB
  540. section-6/8 - 2 - Section Introduction (2_08).srt 3KB
  541. assignments/hw5.rkt 3KB
  542. section-6/code/115_macros_via_functions.rkt 3KB
  543. section-4/code/75_signatures_for_example.sml 3KB
  544. section-4/6 - 2 - Section Introduction (1_45).srt 3KB
  545. section-4/code/77_equivalent_structure.sml 3KB
  546. section-0/1 - 6 - SML installation (1-47).srt 3KB
  547. section-8/code/143_adding_operations_or_variants.java 3KB
  548. section-6/code/107_datatypes_without_structs.rkt 3KB
  549. section-8/code/144_binary_methods_fp.sml 3KB
  550. section-7/code/127_example.rb 2KB
  551. section-1/code/10_repl.txt 2KB
  552. section-4/code/78_another_equivalent_structure.sml 2KB
  553. section-0/1 - 4 - Software Installation Introduction (1-22).srt 2KB
  554. assignments/hw5test.rkt 2KB
  555. section-4/code/68_type_inference_examples.sml 2KB
  556. assignments/hw7testsprovided.sml 2KB
  557. assignments/hw4test.rkt 2KB
  558. assignments/hw6graphics.rb 2KB
  559. section-8/code/143_adding_operations_or_variants.rb 2KB
  560. section-3/code/56_partial_application.sml 2KB
  561. section-8/code/148_mixins.rb 2KB
  562. section-8/code/143_adding_operations_or_variants.sml 2KB
  563. section-5/code/90_local_bindings.rkt 2KB
  564. section-3/code/63_java_without_closures.java 2KB
  565. section-4/code/69_polymorphic_examples.sml 2KB
  566. assignments/hw2test.sml 2KB
  567. section-5/code/96_avoid_unnecessary.rkt 2KB
  568. section-5/code/97_delay_force.rkt 2KB
  569. section-4/code/74_module_example.sml 2KB
  570. section-8/code/142_fp_oo_decomposition.java 2KB
  571. section-7/code/138_overriding.rb 2KB
  572. section-6/code/107_datatypes_without_structs.sml 2KB
  573. section-4/code/71_mutual_recursion.sml 2KB
  574. section-3/code/61_adts_with_closures.sml 1KB
  575. section-3/code/55_currying.sml 1KB
  576. section-5/code/103_define_syntax.rkt 1KB
  577. section-8/code/142_fp_oo_decomposition.rb 1KB
  578. section-3/code/43_functions_as_arguments.sml 1KB
  579. section-2/code/30_polymorphic_datatypes.sml 1KB
  580. section-3/code/51_why_lexical_scope.sml 1KB
  581. section-5/code/105_macro_examples.rkt 1KB
  582. section-5/code/101_macros_intro.rkt 1KB
  583. section-7/code/125_object_state.rb 1KB
  584. section-2/code/28_another_expression_example.sml 1KB
  585. section-2/code/34_nested_patterns.sml 1KB
  586. section-3/code/44_types_and_functions.sml 1KB
  587. section-1/code/3_our_first_program.sml 1KB
  588. section-5/code/98_using_streams.rkt 1KB
  589. section-5/code/99_defining_streams.rkt 1KB
  590. assignments/hw1test.sml 1KB
  591. section-8/code/142_fp_oo_decomposition.sml 1KB
  592. section-5/code/84_racket_basics.rkt 1KB
  593. section-1/code/15_options.sml 1KB
  594. section-7/code/136_subclassing.rb 1KB
  595. section-2/code/25_useful_datatypes.sml 1KB
  596. section-1/2 - 1 - Section 1 Reading Notes.srt 1KB
  597. section-3/code/45_anonymous_functions.sml 1KB
  598. section-2/code/27_type_synonyms.sml 1KB
  599. section-6/8 - 1 - Section 6 Reading Notes.srt 1023B
  600. section-8/10 - 1 - Section 8 Reading Notes.srt 1019B
  601. section-5/code/100_memoization.rkt 1009B
  602. section-2/3 - 1 - Section 2 Reading Notes.srt 1005B
  603. section-3/4 - 1 - Section 3 Reading Notes.srt 1004B
  604. section-7/9 - 1 - Section 7 Reading Notes.srt 997B
  605. section-1/code/11_list_functions.sml 988B
  606. section-4/6 - 1 - Section 4 Reading Notes.srt 966B
  607. section-5/7 - 1 - Section 5 Reading Notes.srt 960B
  608. section-7/code/131_arrays.rb 959B
  609. section-6/code/120_static_vs_dynamic_one.sml 955B
  610. section-3/code/59_callbacks.sml 942B
  611. section-3/code/53_fold_and_more_closures.sml 940B
  612. section-2/code/35_more_nested_patterns.sml 929B
  613. section-6/code/108_datatypes_with_structs.rkt 921B
  614. section-3/code/62_without_closures.sml 906B
  615. section-5/code/92_setbang.rkt 906B
  616. section-1/code/14_let_efficiency.sml 904B
  617. section-5/code/88_dynamic_typing.rkt 893B
  618. section-8/code/147_multiple_inheritance.rb 880B
  619. section-3/code/48_generalizing_prior_topics.sml 874B
  620. section-2/code/31_eachof_pattern_matching.sml 861B
  621. section-5/code/89_cond.rkt 854B
  622. section-5/code/85_racket_lists.rkt 849B
  623. assignments/hw3provided.sml 831B
  624. section-3/code/54_combining_functions.sml 806B
  625. section-2/code/38_exceptions.sml 802B
  626. section-7/code/124_classes_objects.rb 778B
  627. section-2/code/32_type_inference.sml 766B
  628. section-6/code/120_static_vs_dynamic_one.rkt 752B
  629. assignments/hw2provided.sml 748B
  630. section-7/code/140_dynamic_dispatch_vs_closures.rb 719B
  631. section-1/code/9_tuples.sml 693B
  632. section-2/code/37_function_patterns.sml 689B
  633. section-3/code/52_closures_and_recomputation.sml 685B
  634. section-3/code/47_map_and_filter.sml 657B
  635. section-2/code/29_list_and_option_datatypes.sml 656B
  636. section-7/code/132_blocks.rb 646B
  637. section-2/code/22_tuples_as_syntactic_sugar.sml 633B
  638. section-7/code/135_hashes_ranges.rb 619B
  639. section-0/code/IntBinaryTree.java 610B
  640. section-5/code/95_thunks.rkt 603B
  641. section-5/code/91_toplevel_bindings.rkt 599B
  642. section-2/code/40_accumulators.sml 598B
  643. section-7/code/140_dynamic_dispatch_vs_closures.sml 596B
  644. section-4/code/70_other_inference.sml 580B
  645. section-4/code/73_signatures.sml 549B
  646. section-5/code/94_mcons.rkt 545B
  647. section-2/code/33_polymorphic_and_equality_types.sml 537B
  648. section-3/code/57_currying_wrapup.sml 535B
  649. section-6/code/122_eval.rkt 527B
  650. section-7/code/129_classes_dynamic.rb 502B
  651. assignments/hw6runner.rb 486B
  652. section-3/code/46_unnecessary_function_wrapping.sml 484B
  653. section-2/code/23_datatype_bindings.sml 479B
  654. section-1/code/13_nested_functions.sml 465B
  655. section-3/code/49_lexical_scope.sml 457B
  656. section-5/code/93_truth_about_cons.rkt 457B
  657. section-7/code/133_using_blocks.rb 456B
  658. section-3/code/50_lexical_scope_and_functions.sml 424B
  659. section-2/code/24_case_expressions.sml 415B
  660. assignments/hw6assignment.rb 400B
  661. section-5/code/83_racket_intro.rkt 386B
  662. section-4/code/67_ml_type_inference.sml 369B
  663. section-7/code/134_procs.rb 366B
  664. section-4/code/72_namespace_mgmt.sml 364B
  665. section-1/code/5_errors_fixed.sml 344B
  666. section-1/code/12_let_expressions.sml 341B
  667. section-1/code/7_functions.sml 332B
  668. section-1/code/5_some_errors.sml 315B
  669. assignments/hw0provided.sml 303B
  670. section-1/code/6_shadowing.sml 298B
  671. section-4/code/66_what_is_type_inference.sml 279B
  672. section-2/code/21_records.sml 271B
  673. section-2/code/39_tail_recursion.sml 255B
  674. section-3/code/58_mutable_references.sml 231B
  675. section-3/code/42_functions_intro.sml 230B
  676. section-7/code/123_ruby_intro.rb 205B
  677. assignments/hw4.rkt 115B