Derivation and inference of higher-order strictness types
From MaRDI portal
Publication:1749138
DOI10.1016/j.cl.2015.07.004zbMath1387.68064MaRDI QIDQ1749138
Sjaak Smetsers, Marko van Eekelen
Publication date: 15 May 2018
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2066/149047
68N18: Functional programming and lambda calculus
Uses Software