132 search results - page 3 / 27 » Scala for generic programmers |
106
click to vote
JMLC
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
96
Voted
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
CHES
2009
Springer
16 years 5 days ago
2009
Springer
Elliptic Curve Cryptography implementations are known to be vulnerable to various side-channel attacks and fault injection attacks, and many countermeasures have been proposed. How...
97
Voted
EGH
2003
Springer
15 years 4 months ago
2003
Springer
We show how a future graphics processor unit (GPU), enhanced with random read and write to video memory, can represent, refine and adjust complex meshes arising in modeling, simu...
96
Voted
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
Generic Haskell is a language extension of Haskell for polytypic programming. Constrained types are parametric algebraic types with at least one argument constrained by type-class...