894 search results - page 20 / 179 » Typed Contracts for Functional Programming |
109
click to vote
POPL
1991
ACM
15 years 6 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
149
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
121
click to vote
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
This paper defines an extended polymorphic type system for an ML-style programming language, and develops a sound and complete type inference algorithm. Different from the conve...
125
click to vote
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...
125
click to vote
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
By determining, statically, where the structure of a program requires sets of variables to share a common tation, we can identify abstract data types, detect ion violations, find ...