Страничка семинара теории типов: различия между версиями
Материал из Вики проекта PascalABC.NET
Перейти к навигацииПерейти к поиску
Mikst (обсуждение | вклад) Нет описания правки |
Mikst (обсуждение | вклад) Нет описания правки |
||
| Строка 8: | Строка 8: | ||
* [http://drops.dagstuhl.de/opus/volltexte/2009/2338/pdf/09005.OderskyM.2338.pdf Fighting Bit Rot with Types (Experience Report: Scala Collections)] | * [http://drops.dagstuhl.de/opus/volltexte/2009/2338/pdf/09005.OderskyM.2338.pdf Fighting Bit Rot with Types (Experience Report: Scala Collections)] | ||
* [] | * [http://lamp.epfl.ch/~dragos/files/scala-spec.pdf Compiling Generics Through User-Directed Type Specialization] | ||
* [] | * [http://lamp.epfl.ch/~rompf/continuations-icfp09.pdf Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform] | ||
* [] | * [http://www.comlab.ox.ac.uk//files/2187/ModularVisitor.pdf Modular Visitor Components: A Practical Solution to the Expression Families Problem] | ||
* [] | * [http://adriaanm.github.com/files/higher.pdf Generics of a Higher Kind] | ||
* [] | * [http://adriaanm.github.com/files/scalina-final.pdf Safe Type-level Abstraction in Scala] | ||
* [] | * [http://infoscience.epfl.ch/getfile.py?docid=13847&name=TranslationCorrectness-TR&format=pdf&version=1 Translation Correctness for First-Order Object-Oriented Pattern Matching] | ||
* [] | * [http://www.scala-lang.org/sites/default/files/odersky/mfcs06.pdf A Core Calculus for Scala Type Checking] | ||
* [http://www.scala-lang.org/sites/default/files/odersky/ecoop03.pdf A Nominal Theory of Objects with Dependent Types] | |||
Версия от 22:41, 11 декабря 2012
По концептам, типам следует читать современные статьи
Можно начинать со школы Одерского:
Статьи по теоретическим основам языка Скала
Выделю тут ряд статей, с которых, по моему мнению, следует начинать:
- 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
