Call-by-name, call-by-value, call-by-need and the linear lambda calculus by Maraist, J., Odersky, M., Turner, D.N., Wadler, P.

Get full text

Trapping Malicious Insiders in the SPDR Web by Haigh, J.T., Harp, S.A., O'Brien, R.C., Payne, C.N., Gohde, J., Maraist, J.

Request full text

Call-by-name, call-by-value, call-by-need and the linear lambda calculus: Mathematical Foundations of Programming Semantics by MARAIST, J, ODERSKY, M, TURNER, D. N, WADLER, P

Get full text

STRATUS: Strategic and Tactical Resiliency against Threats to Ubiquitous Systems by Burstein, M., Goldman, R., Robertson, P., Laddaga, R., Balzer, R., Goldman, N., Geib, C., Kuter, U., Mcdonald, D., Maraist, J., Keller, P., Wile, D.

Request full text

Effect of strophanthus on coronary blood flow and cardiac oxygen consumption of normal and failing human hearts by BING, R J, MARAIST, F M, DAMMANN, Jr, J F, DRAPER, Jr, A, HEIMBECKER, R, DALEY, R, GERARD, R, CALAZEL, P

Get full text

II. SPECIFIC COURSE DESCRIPTIONS by Farmakides, John B., Freed, Roy N., Baram, Michael S., Eddy, Howard R., Roberts, Jerome J., Sprowl, James A., Finkelstein, Michael O., Pasley, Robert S., Hanslowe, Kurt L., Brown, John P., Borodin, Alan, Baker, Donald I., Peters, Geoffrey W., Ravenell, Mildred W., Field, Thomas G., Anderson, Frederick R., Green, Harold P., Ramey, James T., Funk, David A., Goulet, Jean, Maraist, Frank L., Meldman, Jeffrey A., Miller, R., Slayton, Philip, Estep, Samuel D., Keeton, Robert E., McCarty, L. Thorne, Goldstein, Paul, Wessel, Milton R., Gambrell, James B., Overholt, Mary Ann, Burke, David C., Schwartz, Louis B., Gerstenhaber, Murray, Kalmbach, Charles F., Taubenfeld, Howard J., Hubbard, F. Patrick, Mersky, Roy M., Duggan, Michael, Chandler, James P.

Get full text