Programming Systems Lab: Publications by Alexander Aiken

Saarland University Computer Science

Select author:

2009

File upload test   (pdf)
Alexander Aiken

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

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


Legal notice, Privacy policy