@article{Figueiredo_Camarão_2002, title={A view on abstract and extensibles types}, volume={3}, url={https://revistas.unab.edu.co/index.php/rcc/article/view/1106}, abstractNote={<p>This paper presents a type declaration construct which provides either a type synonym, a datatype, an abstract type with views, a subtype of an existing type, or a module (collection of declarations), in the style of modern functional programming languages ahich provide support for parametric polymorphism.</p>}, number={1}, journal={Revista Colombiana de Computación}, author={Figueiredo, Lucília and Camarão, Carlos}, year={2002}, month={jun.}, pages={21–40} }