Carpenter, Bryan; Fox, Geoffrey and Guansong Zhang. Semantic Checking in HPJava. May, 1999
(1999)
Languages mentioned
HPJava
{2000} Concurrent OO Language