Guarded type promotion

Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs - FTfJP '11 ◽

10.1145/2076674.2076680 ◽

2011 ◽

Cited By ~ 4

Author(s):

Johnni Winther

Download Full-text