JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
Stephan Wehr, Peter Thiemann
An Abstract Model of Certificate Translation
Gilles Barthe, César Kunz
A Theory of Synchronous Relational Interfaces
Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: