dcreager.net

↓

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

This page is also available via Gemini at gemini://dcreager.net/2023/01/13-reading-log.gmi