Application of OOP Type Theory: State, Decidability, Integragtion.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

Browse the full OOPSLA paper archive.