Yang Z. Encoding Types in ML-like Languages (Preliminary Version). BRICS [Internet]. 9. januar 1998 [henvist 5. december 2025];5(9). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/19281