10666 search results - page 434 / 2134 » Quantum programming languages |
169
click to vote
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...
157
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.
170
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.
142
Voted
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
The list update problem is a classical online problem, with an optimal competi
136
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M