Lower bounds on type checking overloading by Volpano, Dennis M.

Get full text

Subtypes and quantification. Reply by VOLPANO, D. M, BURTON, F. W

Get full text

Subtypes and quantification by Volpano, Dennis M.

Get full text

Empirical investigation of COBOL features by Volpano, Dennis M., Dunsmore, H.E.

Get full text

Empirical foundations of information and software science by Davis, John S, Zunde, Pranas, Cichanowski, G W, Edmundson, H P, Zunde, P, Lehman, M M, Brookes, B C, Heine, M H, Zeigler, B P, Rada, R, Curtis, B, man, I, Brooks, R, Soloway, E, Ehrlich, D, Thebaut, S M, Zelkowitz, M V, Kant, E, Newell, A, Davis, J S, Rouse, W B, Rouse, S H, Wang, A S, Dunsmore, H E, Gorn, S, Hintikka, J, Harmon, G, Cook, C, Shen, V Y, Volpano, D M, Bregar, W, Foote, D, MacLennan, B J, Sayward, F G, Haas, D F, Kraft, D H, Pearson, C, Koch, W, Mistrik, I, Davcev, D, Andrews, B J, Reynolds, R G

Get full text

Strategic directions in research on programming languages by HANKIN, C, NIELSON, H. R, GLÜCK, R, HANKIN, C, HARPER, R, JAGANNATHAN, S, JONES, S. P, LEE, P, MACQUEEN, D, MESEGUER, J, LE METAYER, D, MEYER, A, PALSBERG, J, MITCHELL, J, MONTANARI, U, NIELSON, F, ODERSKY, M, PAIGE, B, PETTOROSSI, A, REDDY, U, REPS, T, REYNOLDS, J, RIECKE, J, AIKEN, A, RYDER, B, SCHMIDT, D, SHIVERS, O, SMITH, S, VOLPANO, D, WILHELM, R, BRUCE, K, CARDELLI, L, CIANCARINI, P, CLINGER, W, CONSEL, C, COUSOT, P

Get full text