7535 search results - page 56 / 1507 » A Type System for CHR |
108
Voted
PADL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...
150
Voted
AISC
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. An important feature of modern computer algebra systems is the support of a rich type system with the possibility of type inference. Basic features of such a type system ...
229
Voted
POPL
2001
ACM
16 years 4 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
114
Voted
TLDI
2003
ACM
15 years 9 months ago
2003
ACM
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
100
Voted
CC
2005
Springer
15 years 9 months ago
2005
Springer
