Polytypic Abstraction in Type Theory (1998)

Cached

Download Links

by H. Pfeifer , H. Rueß
Venue:Informal Proceedings of Workshop on Generic Programming (WGP98). Marstrand
Citations:2 - 0 self