3591 search results - page 92 / 719 » Typing linear constraints |
100
click to vote
ICFP
2002
ACM
16 years 21 days ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
98
Voted
ECIR
2007
Springer
15 years 2 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...
76
Voted
CEC
2003
IEEE
15 years 6 months ago
2003
IEEE
A new PSO algorithm, the Linear PSO (LPSO), is developed to optimise functions constrained by linear constraints of the form Ax = b. A crucial property of the LPSO is that the poss...
101
Voted
CASSIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
99
Voted
POPL
2003
ACM
15 years 6 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...