Foundations for structured programming with GADTs (2008)

by Patricia Johann, Neil Ghani
Venue:In POPL ’08: Conference record of the annual ACM symposium on principles of programming languages