Foundations for structured programming with GADTs.

Patricia Johann, Neil Ghani

Browse the full POPL paper archive.