🏛️ The Programming Languages Crypt

cs.PL: Where Programming Languages papers rest without their code.

3694 Total Papers
3466 No Code
21 Twilight
207 Has Code
5.6% Survival Rate
R.I.P. 👻 Ghosted

Occurrence Typing Modulo Theories

Andrew M. Kent, David Kempe, Sam Tobin-Hochstadt

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 31 cites 10 years ago