Страничка семинара теории типов
Материал из Вики проекта PascalABC.NET
Перейти к навигацииПерейти к поиску
По концептам, типам следует читать современные статьи
Можно начинать со школы Одерского:
Статьи по теоретическим основам языка Скала
Выделю тут ряд статей, с которых, по моему мнению, следует начинать:
- Fighting Bit Rot with Types (Experience Report: Scala Collections)
- Compiling Generics Through User-Directed Type Specialization
- Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform
- Modular Visitor Components: A Practical Solution to the Expression Families Problem
- Generics of a Higher Kind
- Safe Type-level Abstraction in Scala
- Translation Correctness for First-Order Object-Oriented Pattern Matching
- A Core Calculus for Scala Type Checking
- A Nominal Theory of Objects with Dependent Types
