894 search results - page 1 / 179 » Typed Contracts for Functional Programming |
ERLANG
2007
ACM
13 years 8 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
FLOPS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
DLS
2007
13 years 8 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...