1675 search results - page 108 / 335 » Some thoughts on teaching programming and programming langua... |
117
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
143
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
120
click to vote
FECS
2007
15 years 6 months ago
2007
Life long learning is important to keep oneself up-to-date in ones profession. Due to the rapid evolutionary nature of computer science, life long learning becomes even more impor...
270
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
123
click to vote
HASKELL
2009
ACM
15 years 11 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...