Type-safe cast (2000)

by Stephanie Weirich
Venue:Journal of Functional Programming
Citations:21 - 6 self