by CHEN, YAN, DUNFIELD, JOSHUA, HAMMER, MATTHEW A., ACAR, UMUT A.
Published in Journal of functional programming (01.01.2014)

by Rastogi, Aseem, Hammer, Matthew A., Hicks, Michael
Published in 2014 IEEE Symposium on Security and Privacy (01.05.2014)

by Omar, Cyrus, Voysey, Ian, Chugh, Ravi, Hammer, Matthew A.
Published in Proceedings of ACM on programming languages (01.01.2019)

by Headley, Kyle, Hammer, Matthew A.
Published in Trends in Functional Programming (2019)

by Martens, Chris, Hammer, Matthew A
Year of Publication 15.03.2017

by Headley, Kyle, Hammer, Matthew A
Year of Publication 21.08.2016

by Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Labich, Nicholas, Foster, Jeffrey S, Hicks, Michael, David Van Horn
Published in arXiv.org (23.03.2021)

by Omar, Cyrus, Voysey, Ian, Chugh, Ravi, Hammer, Matthew A
Year of Publication 30.04.2018

by Omar, Cyrus, Voysey, Ian, Hilton, Michael, Aldrich, Jonathan, Hammer, Matthew A
Published in arXiv.org (04.02.2019)

by Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Narasimhamurthy, Monal, Economou, Dimitrios J
Year of Publication 20.08.2018

by Martens, Chris, Hammer, Matthew A
Published in arXiv.org (15.03.2017)

by Hammer, Matthew A, Dunfield, Jana, Economou, Dimitrios J, Narasimhamurthy, Monal
Year of Publication 01.10.2016

by Fisher, Dakota, Hammer, Matthew A, Byrd, William, Might, Matthew
Year of Publication 17.09.2016

by Hammer, Matthew A, Chang, Bor-Yuh Evan, Van Horn, David
Year of Publication 21.08.2016

by Headley, Kyle, Hammer, Matthew A
Published in arXiv.org (21.08.2016)

by Omar, Cyrus, Voysey, Ian, Hilton, Michael, Sunshine, Joshua, Goues, Claire Le, Aldrich, Jonathan, Hammer, Matthew A
Year of Publication 25.03.2017

by Omar, Cyrus, Voysey, Ian, Chugh, Ravi, Hammer, Matthew A
Published in arXiv.org (20.11.2018)

by Hammer, Matthew A, Dunfield, Jana, Economou, Dimitrios J, Narasimhamurthy, Monal
Published in arXiv.org (21.10.2017)

by Fisher, Dakota, Hammer, Matthew A, Byrd, William, Might, Matthew
Published in arXiv.org (17.09.2016)

by Hammer, Matthew A, Dunfield, Jana, Headley, Kyle, Narasimhamurthy, Monal, Economou, Dimitrios J
Published in arXiv.org (20.08.2018)