16190 search results - page 89 / 3238 » Applicative programming with effects |
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
63
Voted
SIGADA
1999
Springer
15 years 4 months ago
1999
Springer
104
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
207
Voted
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...
116
click to vote
TPDS
1998
15 years 8 days ago
1998
This paper presents a new compiler optimization algorithm that parallelizes applications for symmetric, sharedmemory multiprocessors. The algorithm considers data locality, parall...