المؤلفون: Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew

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

URL الوصول: http://arxiv.org/abs/2407.01688

المؤلفون: Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew

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

URL الوصول: http://arxiv.org/abs/2403.04651

المؤلفون: Machiry, Aravind, Kastner, John, McCutchen, Matt, Eline, Aaron, Headley, Kyle, Hicks, Michael

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Cryptography and Security, Computer Science - Software Engineering

URL الوصول: http://arxiv.org/abs/2203.13445

المؤلفون: Hammer, Matthew A., Dunfield, Jana, Headley, Kyle, Narasimhamurthy, Monal, Economou, Dimitrios J.

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

URL الوصول: http://arxiv.org/abs/1808.07826

المؤلفون: Headley, Kyle, Hammer, Matthew A.

مصطلحات موضوعية: Computer Science - Data Structures and Algorithms, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1608.06009

المؤلفون: Hammer, Matthew A., Dunfield, Jana, Headley, Kyle, Labich, Nicholas, Foster, Jeffrey S., Hicks, Michael, Van Horn, David

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

URL الوصول: http://arxiv.org/abs/1503.07792

المؤلفون: Headley, Kyle^Aff14, Hammer, Matthew A.^Aff14

المساهمون: Hutchison, David, Series Editor^Aff1, Kanade, Takeo, Series Editor^Aff2, Kittler, Josef, Series Editor^Aff3, Kleinberg, Jon M., Series Editor^Aff4, Mattern, Friedemann, Series Editor^Aff5, Mitchell, John C., Series Editor^Aff6, Naor, Moni, Series Editor^Aff7, Pandu Rangan, C., Series Editor^Aff8, Steffen, Bernhard, Series Editor^Aff9, Terzopoulos, Demetri, Series Editor^Aff10, Tygar, Doug, Series Editor^Aff11, Van Horn, David, editor^Aff12, Hughes, John, editor^Aff13

المصدر: Trends in Functional Programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. 10447:155-171

المؤلفون: Stone, Nathan E., Nunnally, Amalee E., Jimenez, Victor, Jr., Cope, Emily K., Sahl, Jason W., Sheridan, Krystal, Hornstra, Heidie M., Vinocur, Jacob, Settles, Erik W., Headley, Kyle C., Williamson, Charles H.D., Rideout, Jai Ram, Bolyen, Evan, Caporaso, J. Gregory, Terriquez, Joel, Monroy, Fernando P., Busch, Joseph D., Keim, Paul, Wagner, David M.

المصدر: In Anaerobe August 2019 58:53-72

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Headley, Kyle

المصدر: ACM International Conference Proceeding Series; 9/5/2018, p119-126, 8p