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