1982 search results - page 110 / 397 » Parametricity and dependent types |
144
Voted
AIED
2011
Springer
14 years 8 months ago
2011
Springer
We investigate whether an overall student disengagement label and six different labels of disengagement type are predictive of learning in a spoken dialog computer tutoring corpus...
251
click to vote
POPL
2004
ACM
16 years 5 months 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...
145
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
188
click to vote
ENTCS
2006
15 years 4 months ago
2006
It can be traced back to Brouwer that continuous functions of type StrA B, where StrA is the type of infinite streams over elements of A, can be represented by well founded, Abra...
143
click to vote
SAIG
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...