К содержимому
learnspaceYOUR NEXT CHAPTER
ПРОСТРАНСТВО ОБУЧЕНИЯ
ГлавнаяКаталог курсовМоё обучениеCoursera

Знания без границ

Учитесь у лучших университетов и компаний мира.

Открыть Coursera
Интеграция
Пространство университета
Моё пространствоСтраница курса
↵
ЯЛичный кабинетСтудент
© 2026 LearnSpaceКаждый день — возможность узнать больше.Помощь
Programming Languages Ⅱ · LearnSpace
Назад в каталог
courseraПрограммирование

Programming Languages Ⅱ

Курс от Korea Advanced Institute of Science and Technology(KAIST)
Уровень не указан≈ 10.6 чАнглийский
О курсеНавыкиПрограммаПреподаватели

О курсе

The goal of this course is to help students: 1. learn new languages quickly, 2. evaluate various languages and pick the most suitable one for a given task, 3. know when and how to design a little language, and 4. understand the effects of languages on thought and communication. We will study programming language concepts, not as paradigms but as a set of basic building blocks, by 1) implementing interpreters for the concepts using the Scala programming language and 2) rigorously discussing the concepts using the operational semantics.

Навыки, которые вы освоите

Computer ProgrammingComputational LogicProgram DevelopmentTheoretical Computer ScienceScala ProgrammingProgramming PrinciplesOther Programming Languages

Программа курса

7 модулей · 27 учебных материалов

01Week 15 материалов

Week 1

1-1 ContinuationsВидео1-2 Continuation Passing StyleВидео1-3 Small-Step Operational SemanticsВидео1-4 First-Class ContinuationsВидео

Учитесь у экспертов

Sukyoung Ryu

Professor

Programming Languages Ⅱ
В каталоге вашей программы

Инвестируйте в себя

Новые знания — в удобное для вас время.

Начать на Coursera

Обучение откроется на Coursera
в новой вкладке

Обучение на Coursera

≈ 10.6 ч

7 модулей

Язык: Английский

Часть программы вашего университета
Week 1 Review QuizЗадание
02Week 24 материалов

Week 2

2-1 First-Order Representation of ContinuationsВидео2-2 Low-Level Representations of InterpretersВидео2-3 Big-Step Semantics of KFAEВидеоWeek 2 Review QuizЗадание
03Week 35 материалов

Week 3

3-1 TypesВидео3-2 Type RulesВидео3-3 TFAEВидео3-4 TPFAEВидеоWeek 3 Review QuizЗадание
04Week 44 материалов

Week 4

4-1 TRFAEВидео4-2 TVFAEВидео4-3 Type Checking TVFAEВидеоWeek 4 Review QuizЗадание
05Week 54 материалов

Week 5

5-1 Type InferenceВидео5-2 Type UnificationВидео5-3 Type Checking TIFAEВидеоWeek 5 Review QuizЗадание
06Week 64 материалов

Week 6

6-1 Parametric PolymorphismВидео6-2 Subtype Polymorphism (I)Видео6-3 Subtype Polymorphism (II)ВидеоWeek 6 Review QuizЗадание
07Final Exam1 материалов

Week 7

Final ExamЗадание