المؤلفون: Joshua B. Wadler, Johna E. Rudzin, Benjamin Jaimes de la Cruz, Jie Chen, Michael Fischer, Guanghua Chen, Nannan Qin, Brian Tang, Qingqing Li

المصدر: Tropical Cyclone Research and Review, Vol 12, Iss 3, Pp 200-215 (2023)

مصطلحات موضوعية: Tropical cyclone, External influence, Intensity change, Review, Physical geography, GB3-5030, Environmental sciences, GE1-350

وصف الملف: electronic resource

العلاقة: http://www.sciencedirect.com/science/article/pii/S2225603223000395Test; https://doaj.org/toc/2225-6032Test

الوصول الحر: https://doaj.org/article/507f93fa81de4955a2cde4c946628322Test

المؤلفون: Griesemer, Robert, Hu, Raymond, Kokke, Wen, Lange, Julien, Taylor, Ian Lance, Toninho, Bernardo, Wadler, Philip, Yoshida, Nobuko

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2005.11710Test

المؤلفون: Orchard, Dominic, Wadler, Philip, Eades III, Harley

المصدر: EPTCS 317, 2020, pp. 18-38

مصطلحات موضوعية: Computer Science - Programming Languages, Mathematics - Category Theory

الوصول الحر: http://arxiv.org/abs/2001.10274Test

المؤلفون: Kokke, Wen, Morris, J. Garrett, Wadler, Philip

المصدر: Logical Methods in Computer Science, Volume 16, Issue 4 (December 15, 2020) lmcs:5821

مصطلحات موضوعية: Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1909.13376Test

المؤلفون: Joshua B. Wadler, David. S. Nolan, Jun A. Zhang, Lynn K. Shay, Joseph B. Olson, Joseph J. Cione

المصدر: Journal of Advances in Modeling Earth Systems, Vol 15, Iss 5, Pp n/a-n/a (2023)

مصطلحات موضوعية: turbulence, hurricane, boundary layer, numerical models, Physical geography, GB3-5030, Oceanography, GC1-1581

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/1942-2466Test

الوصول الحر: https://doaj.org/article/a41da5582fd24cbd9a777535c0e010d4Test

المؤلفون: Igarashi, Atsushi, Thiemann, Peter, Tsuda, Yuya, Vasconcelos, Vasco T., Wadler, Philip

المصدر: J. Funct. Prog. 29 (2019) e17

مصطلحات موضوعية: Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/1809.05649Test

المؤلفون: Caryn S. Wadler, John F. Wolters, Nathaniel W. Fortney, Kurt O. Throckmorton, Yaoping Zhang, Caroline R. Miller, Rachel M. Schneider, Evelyn Wendt-Pienkowski, Cameron R. Currie, Timothy J. Donohue, Daniel R. Noguera, Chris Todd Hittinger, Michael G. Thomas

المصدر: Biotechnology for Biofuels and Bioproducts, Vol 15, Iss 1, Pp 1-17 (2022)

مصطلحات موضوعية: Biofuel, Conversion residue, Lignocellulose, Streptomyces, Valorization, Yeasts, Biotechnology, TP248.13-248.65, Fuel, TP315-360

وصف الملف: electronic resource

العلاقة: https://doaj.org/toc/2731-3654Test

الوصول الحر: https://doaj.org/article/57d70ac0021e47d8bd7e7d9f074a08eeTest

المؤلفون: Vazou, Niki, Tondwalkar, Anish, Choudhury, Vikraman, Scott, Ryan G., Newton, Ryan R., Wadler, Philip, Jhala, Ranjit

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/1711.03842Test

المؤلفون: Fowler, Simon, Lindley, Sam, Wadler, Philip

مصطلحات موضوعية: Computer Science - Programming Languages, D.1.3

الوصول الحر: http://arxiv.org/abs/1611.06276Test

المؤلفون: Najd, Shayan, Lindley, Sam, Svenningsson, Josef, Wadler, Philip

مصطلحات موضوعية: Computer Science - Programming Languages

الوصول الحر: http://arxiv.org/abs/1603.05197Test