1791 search results - page 3 / 359 » Two Types of Multiple-Conclusion Systems |
WFLP
2009
Springer
14 years 2 months ago
2009
Springer
This paper shows that type-checking and type-inference problems are equivalent in domain-free lambda calculi with existential types, that is, type-checking problem is Turing reduci...
POPL
2006
ACM
14 years 7 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
CSMR
2006
IEEE
14 years 1 months ago
2006
IEEE
It is known that well over 50% of replacement projects fail. Requirements gathering go someway to contributing to this statistic; if the requirements we gather for the new system ...
EOR
2006
13 years 7 months ago
2006
We consider a queueing system with c servers and a threshold type vacation policy. In this system, when a certain number d<c of servers become idle at a service completion inst...
UM
2005
Springer
14 years 29 days ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...