16190 search results - page 475 / 3238 » Applicative programming with effects |
150
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
The very nature of implementing and evaluating fully distributed algorithms or protocols in application-layer overlay networks involves certain programming tasks that are at best m...
187
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
SML.NET is a compiler for Standard ML that targets the Common Language Runtime and is integrated into the Visual Studio development environment. It supports easy interoperability ...
147
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.
167
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
159
click to vote
SASP
2008
IEEE
16 years 22 days ago
2008
IEEE
—Accelerators are special purpose processors designed to speed up compute-intensive sections of applications. Two extreme endpoints in the spectrum of possible accelerators are F...