Foundations for structured programming with GADTs (2008)

by P Johann, N Ghani
Venue:In Proc. of POPL’08