We present the specification of the data types defined in the standard library of the programming language Merlí, which are the basis for the implementation of any user-defined type. The notation is the Merlí itself, and thus the final product is very uniform because both predefined types and user-defined ones are at the same conceptual level. As a result, the semantics of every data type specified and implemented in a Merlí module is fully determined.
Franch, X. "Especificació d'una biblioteca de tipus". 1993.