31686 search results - page 247 / 6338 » Resource typing in Guru |
CASC
2010
Springer
13 years 9 months ago
2010
Springer
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametri...
CORR
2009
Springer
13 years 8 months ago
2009
Springer
claim that types are the right abstraction in order to represent the interaction between elements without specifying exactly the element positions. Our claim is supported through a...
DM
2011
13 years 5 months ago
2011
We show that the joint distribution of the number of singleton pairs and the number of adjacency pairs is symmetric over the set partitions of type Bn without zero-block, in analo...
CHI
2003
ACM
14 years 11 months ago
2003
ACM
We describe a study on how auditory and visual feedback affects eye typing. Results show that the feedback method influences both text entry speed and error rate. In addition, a p...
CADE
2006
Springer
14 years 11 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...