DMCA

Typing Haskell in Haskell

by Mark P. Jones
Venue:UNDER CONSIDERATION FOR PUBLICATION IN J. FUNCTIONAL PROGRAMMING
Citations:52 - 2 self