Application of OOP Type Theory: State, Decidability, Integration (1994)

Cached

Download Links

by Jonathan Eifrig , Scott Smith , Valery Trifonov , Amy Zwarico
Venue:In Proceedings of OOPSLA '94
Citations:13 - 5 self