Yang Z. Encoding Types in ML-like Languages (Preliminary Version). BRICS [Internet]. 1998 Jan. 9 [cited 2024 Apr. 20];5(9). Available from: https://tidsskrift.dk/brics/article/view/19281