10622 search results - page 431 / 2125 » Python Programming Language |
128
click to vote
HOPL
2007
15 years 9 months ago
2007
This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.
136
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We prove that the boundedness problem for monadic secondorder logic over the class of all finite words is decidable.
110
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
The list update problem is a classical online problem, with an optimal competi
108
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M
IFIP
2000
Springer
15 years 8 months ago
2000
Springer