1096 search results - page 64 / 220 » Type inference for atomicity |
EXPERT
2008
13 years 9 months ago
2008
Abstract. The majority of humans today carry mobile telephones. These phones automatically capture behavioral data from virtually every human society, stored in service provider da...
CSL
2004
Springer
14 years 2 months ago
2004
Springer
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
PEPM
2007
ACM
15 years 7 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
ECOOP
2009
Springer
14 years 10 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
ESOP
2000
Springer
14 years 25 days ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...