Jump to : Keyword | Contact | BibTex reference | EndNote reference |

hanus90

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.

Keyword

[ Parametricity ]

Contact

M. Hanus

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)