Non-parametric Parametricity (2010)

by Georg Neis , Derek Dreyer , Andreas Rossberg
Venue:UNDER CONSIDERATION FOR PUBLICATION IN J. FUNCTIONAL PROGRAMMING
Citations:12 - 3 self