Typed Contracts for Functional Programming
From MaRDI portal
Publication:3434634
DOI10.1007/11737414_15zbMath1185.68195MaRDI QIDQ3434634
Johan Jeuring, Ralf Hinze, Andres Löh
Publication date: 2 May 2007
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/20795
68N18: Functional programming and lambda calculus
Uses Software