Semantic Types: A Fresh Look at the Ideal Model for Types (2004)

by Jérôme Vouillon, Paul-André Melliès