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.
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.