M. Hanus. A Functional and Logic Language with Polymorphic Types. In Proc. Int'l Symp. on Design and Implementation of Symbolic Computation Systems (DISCO), A. Miola (ed.), Lecture Notes in Computer Science, Vol. 429, Pages 215-224, April 1990.
[ Parametricity ]
@InProceedings{hanus90,
Author = {Hanus, M.},
Title = {A Functional and Logic Language with Polymorphic Types},
BookTitle = {Proc. Int'l Symp. on Design and Implementation of Symbolic Computation Systems (DISCO)},
editor = {Miola, A.},
Pages = {215--224},
Publisher = {Springer-Verlag},
Month = {April},
Year = {1990}
}
Get EndNote Reference (.ref)