Typed Contracts for Functional Programming.

Ralf Hinze Johan Jeuring Andres Löh

Published in: FLOPS (2006)

Keyphrases

functional programming
execution model
functional language
programming language
quantifier elimination
supply chain
object oriented programming
high level
object oriented
software engineering
fine grained
key features