Typed Contracts for Functional Programming

DOI10.1007/11737414_15MaRDI QIDQ3434634zbMATH OpenOpenAlexFDO

Authors Ralf Hinze, Johan Jeuring, 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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Practical typed lazy contracts
• Contracts for higher-order functions
• Polymorphic contracts
• Contracts as Pairs of Projections
• A sound (and complete) model of contracts

Cited in

(14)

• Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
• An extended account of contract monitoring strategies as patterns of communication
• The essence of functional programming on semantic data
• Gradual type theory
• Blame and coercion: Together again for the first time
• Blame assignment for higher-order contracts with intersection and union
• Contracts for higher-order functions
• Practical typed lazy contracts
• scientific article; zbMATH DE number 1693442 (Why is no real title available?)
• Stateful contracts for affine types
• Contracts made manifest
• Automatically testing console I/O behavior of student submissions in Haskell
• HALO, Haskell to logic through denotational semantics
• The interaction of contracts and laziness

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: Typed Contracts for Functional Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3434634)