Typeful programming (1989)

by Luca Cardelli