Foundations for structured programming with GADTs (2008)

by Patricia Johann, Neil Ghani
Venue:In Principles of Programming Languages 2007