re80

J. Reynolds. Using Category Theory to Design Conversions and Generic Operators. In Proc. Semantics-Directed Compiler Generation, Lecture Notes in Computer Science, Vol. 94, Pages 211-258, 1980.

Keyword

[ Parametricity ]

Contact

John C. Reynolds

BibTex Reference

@InProceedings{re80,
   Author = {Reynolds, J.},
   Title = {Using Category Theory to Design Conversions and Generic Operators},
   BookTitle = {Proc. Semantics-Directed Compiler Generation},
   Pages = {211--258},
   Publisher = {Springer-Verlag},
   Year = {1980}
}

EndNote Reference [help]

Get EndNote Reference (.ref)