Sciweavers

98 search results - page 1 / 20
» An Effect System for Algebraic Effects and Handlers
Sort
View
ESOP
2009
Springer
14 years 2 months ago
Handlers of Algebraic Effects
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...
Gordon D. Plotkin, Matija Pretnar
AISC
2008
Springer
14 years 26 days ago
Effective Set Membership in Computer Algebra and Beyond
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
James H. Davenport
ICPP
1999
IEEE
14 years 3 months ago
Improving Performance of Load-Store Sequences for Transaction Processing Workloads on Multiprocessors
On-line transaction processing exhibits poor memory behavior in high-end multiprocessor servers because of complex sharing patterns and substantial interaction between the databas...
Jim Nilsson, Fredrik Dahlgren
MSE
2002
IEEE
119views Hardware» more  MSE 2002»
14 years 3 months ago
Narnia: A Virtual Machine for Multimedia Communication Services
Narnia is middleware that helps programmers build multimedia communication services. This middleware ollection of familiar programming abstractions— including events, event hand...
Mauricio Cortes, J. Robert Ensor