Marcelo Fiore. Isomorphisms of generic recursive polynomial types. SIGPLAN Not, 39(1):77-88, 2004.
[ Rectype ]
@article{fiore2004,
Author = {Fiore, Marcelo},
Title = {Isomorphisms of generic recursive polynomial types},
Journal = {SIGPLAN Not},
Volume = {39},
Number = {1},
Pages = {77--88},
Publisher = {ACM},
Address = {New York, NY, USA},
Year = {2004}
}
Get EndNote Reference (.ref)