2076 search results - page 279 / 416 » Functional logic overloading |
131
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...
116
click to vote
POPL
2010
ACM
16 years 17 days ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
117
click to vote
FPGA
2007
ACM
15 years 9 months ago
2007
ACM
Boolean matching (BM) is a widely used technique in FPGA resynthesis and architecture evaluation. In this paper we present several improvements to the recently proposed SAT-based ...
132
click to vote
DLOG
2004
15 years 4 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
161
click to vote
TLDI
2010
ACM
15 years 3 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...