docs

Scala 3 related documents ⬆

The docs\ directory contains a selection of external links and PDF documents related to Scala 3.

🔎 Articles published on the Web have been converted to PDF format and do not necessarily reflect the actual state of the original publication.

Blogs

• "Types: Never commit too early"
  

  • "Part 1: The Free Theorems", August 2018.
  • "Part 2: How typeclasses save us", August 2018.
  • "Part 3: Stacking Monad Transformers without statck", August 2018.
  
  Stéphane Derosiaux, personal website.

• [Link] [PDF]
  "Higher-rank and higher-kinded types", 2016 (7 pages).
  Stephan Boyer, personal website.

• [Link] [PDF]
  "Sum Types Are Coming: What You Should Know", 2015 (21 pages).
  Chad Austin, personal website.

Github

• [Link] [PDF]
  "Scala code examples for Functional Programming Jargon", 2017 (19 pages).
  Ikhoon Eom, Github repository.

Papers

• [Link] [PDF]
  "Notes on Category Theory in Scala 3", December 2019.
  Juan Pablo Romero Méndez.

• [Link] [PDF]
  "Programming with intersection types, uniion types and polymorphism", 1991 (39 pages).
  Benjamin C. Pierce, Canergie Mellon University.

Presentations

• [Link]
  "Scala 3, Type Inference and You!", 2019 (45 minutes).
  Gillaum Martres, LAMP - EPFL

• [Link]
  "GADTs in Dotty", July 2019 (30 minutes).
  Aleksander Boruch-Gruszecki, LAMP - EPFL.

• [Link]
  "From DOT to Dotty", 2017 (48 minutes).
  Martin Odersky, LAMP - EPFL.

• [Link] [PDF]
  "The Trouble with Types", 2014 (50 slides).
  Martin Odersky, LAMP - EPFL.

Proceedings

• [Link] [PDF]
  "Behavioral Types in Programming Languages", 2016 (139 pages).
  Davide Ancona & al., Foundations and Trends® in Programming Languages, Now Publishers.

---

mics/August 2021 ▲