First-Order Theory of Subtyping Constraints
(pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems
The Complexity of Subtype Satisfiability over Posets
(pdf)
Joachim Niehren, Tim Priesnitz, Zhendong Su
14th European Symposium on Programming
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