You are here: Home –> Musings on Scala GADTs

Musings on Scala GADTs—Paolo G. Giarrusso

This is the companion website for my paper on Scala GADTs. The source code accompanying the paper is available here - it will be refined later.

Code from our paper

Examples from our paper are extracted in scalaws13.scala, which is fully compiling.

GADTsWithoutVariance.scala and GADTsWithVariance.scala develop various interpreters with and without covariance and build more complex transformations; some comments guide through the various development.

MinimalUnsoundness.scala contains the unsoundness example in the paper.



For any question or suggestion, feel free to contact me, Paolo G. Giarrusso, at pgiarrusso (at) informatik !dot! uni-marburg !dot! de.