7535 search results - page 16 / 1507 » A Type System for CHR |
123
Voted
ICFP
1997
ACM
15 years 7 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
102
Voted
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
114
Voted
MSCS
2008
15 years 3 months ago
2008
The idea of coercive subtyping, a theory of abbreviation for dependent type theories, is incorporated into the polymorphic type system in functional programming languages. The tra...
127
Voted
TCS
2008
15 years 3 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
126
Voted
TIC
1998
Springer
15 years 7 months ago
1998
Springer
