Graphical and incremental type inference. A graph transformation approach
From MaRDI portal
Publication:526459
DOI10.1007/s10990-014-9104-8zbMath1360.68320MaRDI QIDQ526459
Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo
Publication date: 15 May 2017
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2117/87151
Uses Software