zbMath1457.68037arXiv1202.2923MaRDI QIDQ5854731
Aaron Stump, Nathan A. Collins, Peng Fu, Vilhelm Sjöberg, Garrin Kimmell, Chris Casinghino, Stephanie Weirich, Ki Yung Ahn, Harley D. Eades III, T. Sheard
Publication date: 17 March 2021
Full work available at URL: https://arxiv.org/abs/1202.2923
Mathematics Subject Classification ID
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus