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.

2013-04-21: website online
2013-04-22: code available (1st version)
2013-06-12: my paper was accepted at the Scala 2013. Title: “Open GADTs and Declaration-site Variance: A Problem Statement”
2013-06-23: paper available online, together with updated source code.

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