Pure type systems for functional programming (2000)

by J-W Roorda