Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche. A Type System for DNAQL. In Darko Stefanovic, Andrew J. Turberfield, editors, DNA Computing and Molecular Programming - 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings. Volume 7433 of Lecture Notes in Computer Science, pages 12-24, Springer, 2012. [doi]
Abstract is missing.