Foundations for structured programming with GADTs (2008)

by Patricia Johann, Neil Ghani
Venue:In POPL