"Sound gradual typing is nominally alive and well."

Fabian Muehlboeck, Ross Tate (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics