669 search results - page 26 / 134 » Haskell program coverage |
163
click to vote
WOTUG
2008
15 years 7 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
163
click to vote
SIGPLAN
2002
15 years 5 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
287
click to vote
AAIP
2009
15 years 7 months ago
2009
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...
168
click to vote
JFP
2002
15 years 5 months ago
2002
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
173
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...