10575 search results - page 387 / 2115 » Programming Languages |
153
click to vote
HOPL
2007
15 years 10 months ago
2007
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
168
click to vote
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
137
Voted
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
The list update problem is a classical online problem, with an optimal competi
132
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M
116
Voted
IFIP
2000
Springer
15 years 10 months ago
2000
Springer