Programming Languages, Ocaml [2006, ENG]

seeders: 6
leechers: 1
Added 14 years ago by rajjer in Other

Download Fast Safe Anonymous
movies, software, shows...

Files

Programming Languages, Ocaml [2006, ENG] (Size: 2.95 GB)
  1. Intro; Caml; functional programming.mp4 323.28 MB
  10. Atomicity; Memory Management.mp4 282.33 MB
  2. Functional programming, syntax,semantics via interpretation or translation.mp4 302.55 MB
  3. Semantics via translation, equivalence & properties, lambda introduction.mp4 290.28 MB
  4. Untyped lambda-calculus, inference rules, environments.mp4 307.67 MB
  5. Continuations, types.mp4 303.66 MB
  6.Types, Subtyping.mp4 303.96 MB
  7. Coercions, Type Variables, Type Inference.mp4 310.97 MB
  8. Types Wrap-up; Object-Oriented Programming.mp4 283.18 MB
  9. Fancier OOP; Concurrency.mp4 305.85 MB
  code
  lec1code.tar 20 KB
  lec2code.tar 20 KB
  lec3code.tar 10 KB
  lec4and5.ml 4.22 KB
  lec4imp.pdf 60.16 KB
  lec7.ml 1.79 KB
  lec9.ml 2.07 KB
  slides
  class1.pdf 196.27 KB
  class10.pdf 211.03 KB
  class2.pdf 217.09 KB
  class3.pdf 183.88 KB
  class4.pdf 237.52 KB
  class5.pdf 258.08 KB
  class6.pdf 238.08 KB
  class7.pdf 219.94 KB
  class8.pdf 208.95 KB
  class9.pdf 184.75 KB

Description


Обучающие видео » Компьютерные видеоуроки и обучающие интерактивные DVD » Программирование (видеоуроки)

Programming Languages, Ocaml

Год выпуска: 2006
Производитель: University of Washington
Сайт производителя: http://www.cs.washington.edu/education/courses/csep505/06sp/
Автор: Dan Grossman
Продолжительность: 26.5 часов
Тип раздаваемого материала: Видеоклипы
Язык: Английский
Описание: Goals: Successful course participants will:
• Master universal programming-language concepts (including datatypes, functions, continuations, threads,
macros, types, objects, and classes) such that they can recognize them in strange guises.
• Learn to evaluate the power, elegance, and definition of programming languages and their constructs
• Attain reasonable proficiency programming in a functional style
• Find relevant literature somewhat more approachable.

Audience: This course is for software professionals who have substantial programming experience. No background in functional programming or programming-language theory is assumed, though we will “move fast.” Experience with imperative and object-oriented programming may be assumed informally and occasionally.
[spoiler="Содержание"]
1. Intro; Caml; functional programming
2. Functional programming, syntax,semantics via interpretation or translation
3. Semantics via translation, equivalence & properties, lambda introduction
4. Untyped lambda-calculus, inference rules, environments
5. Continuations, types
6. Types, Subtyping
7. Coercions, Type Variables, Type Inference
8. Types Wrap-up; Object-Oriented Programming
9. Fancier OOP; Concurrency
10. Atomicity; Memory Management
[/spoiler]
Файлы примеров: отсутствуют
Формат видео: MP4
Видео: mpeg4, yuv420p, 320x240 [PAR 1:1 DAR 4:3], 199 kb/s, 29.97 fps, 30 tbr, 30k tbn, 30 tbc
Аудио: aac, 32000 Hz, stereo, s16, 64 kb/s
[spoiler="Скриншоты"]



[/spoiler]
Доп. информация: Насколько я понял, курс не про окамл как таковой, но языки программирования с примерами на окамл.

Related Torrents

torrent name size uploader age seed leech
0
0
0
0
1