File upload test
(pdf)
Alexander Aiken
First-Order Theory of Subtyping Constraints
(pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems
First-Order Theory of Subtyping Constraints
(pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages