zbMath1457.68037arXiv1202.2923MaRDI QIDQ5854731
Aaron Stump, Garrin Kimmell, Peng Fu, T. Sheard, Vilhelm Sjöberg, Stephanie Weirich, Ki Yung Ahn, Harley D. Eades III, Nathan A. Collins, Chris Casinghino
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