2335 search results - page 187 / 467 » Type Checking Type Classes |
PEPM
2004
ACM
14 years 3 months ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
ECOOP
2000
Springer
14 years 2 months ago
2000
Springer
The integration of the telephone network and the internet enables convergence of voice and data services. The explosion of information appliances also provides new service opportun...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
UAI
2004
13 years 11 months ago
2004
We describe an algorithm for computing bestresponse strategies in a class of two-player infinite games of incomplete information, defined by payoffs piecewise linear in agents...
JC
2006
13 years 10 months ago
2006
We study the randomized approximation of weakly singular integral operators. For a suitable class of kernels having a standard type of singularity and being otherwise of finite sm...