Embedding an interpreted language using higher-order functions and types
From MaRDI portal
Publication:2913927
DOI10.1017/S0956796811000219zbMath1248.68135MaRDI QIDQ2913927
Publication date: 21 September 2012
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Uses Software
Cites Work