Paul A. Bailes. The Hierarchical Development of a Generic Type Mechanism for Functional Languages. Computer Languages, Systems \& Structures, 15(1):1-26, 1990.
@article{Bailes90, title = {The Hierarchical Development of a Generic Type Mechanism for Functional Languages}, author = {Paul A. Bailes}, year = {1990}, researchr = {https://researchr.org/publication/Bailes90}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {15}, number = {1}, pages = {1-26}, }