Dafny vs. Dala: Experience with Mechanising Language Design.

James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer

Browse the full FTfJP paper archive.