Program adaptation via output-constraint specialization
From MaRDI portal
Publication:1768474
DOI10.1023/B:LISP.0000029449.57959.bdzbMath1075.68012MaRDI QIDQ1768474
Publication date: 15 March 2005
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
68N18: Functional programming and lambda calculus