31686 search results - page 301 / 6338 » Resource typing in Guru |
154
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
145
click to vote
DCC
2007
IEEE
16 years 5 months ago
2007
IEEE
The extensible markup language XML has become indispensable in many areas, but a significant disadvantage is its size: tagging a set of data increases the space needed to store it...
139
click to vote
FOSSACS
2010
Springer
16 years 20 days ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
151
click to vote
ESOP
2009
Springer
16 years 19 days ago
2009
Springer
We present a type theory for analyzing concurrent multiparty interactions as found in service-oriented computing. Our theory introduces a novel and flexible type structure, able t...
165
click to vote
APLAS
2009
ACM
16 years 11 days ago
2009
ACM
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...