645 search results - page 14 / 129 » Pure patterns type systems |
192
click to vote
POPL
2004
ACM
16 years 18 hour ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
POPL
2012
ACM
13 years 7 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
LREC
2010
15 years 1 months ago
2010
Over the last several years, speech-based question answering (QA) has become very popular in contrast to pure search engine based approaches on a desktop. Open-domain QA systems a...
CSL
2009
Springer
15 years 6 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
104
click to vote
FLOPS
2010
Springer
15 years 6 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...