Programming Systems Lab: Publications by Zhendong Su

Saarland University Computer Science

Select author:

2006

First-Order Theory of Subtyping Constraints   (pdf)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
ACM Transactions on Programming Languages and Systems

2005

The Complexity of Subtype Satisfiability over Posets   (pdf)
Joachim Niehren, Tim Priesnitz, Zhendong Su
14th European Symposium on Programming

2002

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


Login to edit


Webmaster, Mon May 30 13:48:30 2016