Authors: Rose, E Rose, KH

Citation: E. Rose et Kh. Rose, Java access protection through typing, CONCURR COM, 13(13), 2001, pp. 1125-1132

Authors: Danvy, O Rhiger, M Rose, KH

Citation: O. Danvy et al., Normalization by evaluation with typed abstract syntax, J FUNCT PRO, 11, 2001, pp. 673-680