Fixed Points and Extensionality in Typed Functional Programming Languages (1992)

by Brian T. Howard
Citations:14 - 5 self