DOI10.1007/978-3-662-49498-1_29zbMath1335.68036arXiv1509.03705MaRDI QIDQ2802499
Gopalan Nadathur, Yu-Ting Wang
Publication date: 26 April 2016 Published in: Programming Languages and Systems (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1509.03705
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
68N17: Logic programming
Uses Software