💾 Archived View for dcreager.net › 2023 › 01 › 13-reading-log.gmi captured on 2024-09-28 at 23:59:27. Gemini links have been rewritten to link to archived content

-=-=-=-=-=-=-

Reading log

2023-01-13

Zeeshan mentioned two papers from next week's POPL that he's especially keen on: Zhou2023 and Xu2023.

[Zhou2023] Recursive subtyping for all

[Xu2023] Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations