Live functional programming with typed holes
Omar, Cyrus, Voysey, Ian, Chugh, Ravi, Hammer, Matthew A.
Published in Proceedings of ACM on programming languages (01.01.2019)
Published in Proceedings of ACM on programming languages (01.01.2019)
Get full text
Journal Article
Model-Based Adaptation for Robotics Software
Aldrich, Jonathan, Garlan, David, Kaestner, Christian, Le Goues, Claire, Mohseni-Kabir, Anahita, Ruchkin, Ivan, Samuel, Selva, Schmerl, Bradley, Timperley, Christopher Steven, Veloso, Manuela, Voysey, Ian, Biswas, Joydeep, Guha, Arjun, Holtz, Jarrett, Camara, Javier, Jamshidi, Pooyan
Published in IEEE software (01.03.2019)
Published in IEEE software (01.03.2019)
Get full text
Journal Article
Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Omar, Cyrus, Voysey, Ian, Hilton, Michael, Aldrich, Jonathan, Hammer, Matthew A
Published in arXiv.org (04.02.2019)
Published in arXiv.org (04.02.2019)
Get full text
Paper
Journal Article
Toward Semantic Foundations for Program Editors
Omar, Cyrus, Voysey, Ian, Hilton, Michael, Sunshine, Joshua, Goues, Claire Le, Aldrich, Jonathan, Hammer, Matthew A
Year of Publication 25.03.2017
Year of Publication 25.03.2017
Get full text
Journal Article
Toward Semantic Foundations for Program Editors
Omar, Cyrus, Voysey, Ian, Hilton, Michael, Sunshine, Joshua, Claire Le Goues, Aldrich, Jonathan, Hammer, Matthew A
Published in arXiv.org (25.03.2017)
Get full text
Published in arXiv.org (25.03.2017)
Paper