1715 search results - page 122 / 343 » How Space Structures Language |
164
Voted
AFP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. The use of monads to structure functional programs is described. Monads provide a convenient framework for simulating effects found in other languages, such as global st...
125
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
117
Voted
CSR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We will show how padding techniques can be applied on onedimensional cellular automata by proving a transfer theorem on complexity classes (how one inclusion of classes i...
153
click to vote
JMLR
2012
13 years 6 months ago
2012
We consider the task of devising large-margin based surrogate losses for the learning to rank problem. In this learning to rank setting, the traditional hinge loss for structured ...
129
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...