Dunfield, Joshua Elaborating intersection and union types. (English) Zbl 1297.68049 J. Funct. Program. 24, No. 2-3, 133-165 (2014). MSC: 68N18 × Cite Format Result Cite Review PDF Full Text: DOI
Chen, Yan; Dunfield, Joshua; Hammer, Matthew A.; Acar, Umut A. Implicit self-adjusting computation for purely functional programs. (English) Zbl 1297.68046 J. Funct. Program. 24, No. 1, 56-112 (2014). MSC: 68N18 × Cite Format Result Cite Review PDF Full Text: DOI