by Stump, Aaron
Published in Electronic proceedings in theoretical computer science (12.10.2019)

by Eades III, Harley, Stump, Aaron, McCleeary, Ryan
Published in Logical methods in computer science (01.01.2016)

by Brinker, C. Jeffrey, Fan, Hongyou, Lu, Yunfeng, Stump, Aaron, Reed, Scott T, Baer, Tom, Schunk, Randy, Perez-Luna, Victor, López, Gabriel P
Published in Nature (London) (04.05.2000)

by Eades, Harley, Stump, Aaron
Published in Electronic proceedings in theoretical computer science (04.09.2013)

by STUMP, AARON
Published in Journal of functional programming (2017)

by YUNFENGLU, HONGYOU FAN, STUMP, A, WARD, T. L, RIEKER, T, BRINKER, C. J
Published in Nature (London) (01.03.1999)

by Stump, Aaron
Published in Annals of pure and applied logic (01.07.2018)

by Stump, Aaron, Kimmell, Garrin, Zantema, Hans, Omar, Ruba El Haj
Published in Logical methods in computer science (27.02.2013)

by Sjöberg, Vilhelm, Stump, Aaron
Published in Electronic proceedings in theoretical computer science (01.01.2011)

by Jenkins, Christopher, Stump, Aaron
Published in Mathematical structures in computer science (10.06.2021)

by Sjöberg, Vilhelm, Casinghino, Chris, Ahn, Ki Yung, Collins, Nathan, Eades III, Harley D., Fu, Peng, Kimmell, Garrin, Sheard, Tim, Stump, Aaron, Weirich, Stephanie
Published in Electronic proceedings in theoretical computer science (11.02.2012)

by Stump, Aaron, Sjöberg, Vilhelm, Weirich, Stephanie
Published in Electronic proceedings in theoretical computer science (21.12.2010)

by Stump, Aaron, Sutcliffe, Geoff, Tinelli, Cesare
Published in Automated Reasoning

by Jenkins, Christopher, Stump, Aaron, Diehl, Larry
Published in Electronic proceedings in theoretical computer science (01.05.2020)

by Diehl, Larry, Firsov, Denis, Stump, Aaron
Published in Proceedings of ACM on programming languages (01.09.2018)

by STUMP, AARON, FU, PENG
Published in Journal of functional programming (01.01.2016)

by Stump, Aaron, Jenkins, Christopher, Spahn, Stephan, McDonald, Colin
Published in Proceedings of ACM on programming languages (02.08.2020)

by Abreu, Pedro, Delaware, Benjamin, Hubers, Alex, Jenkins, Christa, Morris, J. Garrett, Stump, Aaron
Published in Proceedings of ACM on programming languages (09.01.2023)

by Guneratne, Ananda, Reynolds, Chad, Stump, Aaron
Published in Trends in Functional Programming

by Stump, Aaron, Oe, Duckki, Reynolds, Andrew, Hadarean, Liana, Tinelli, Cesare
Published in Formal methods in system design (01.02.2013)