132 search results - page 3 / 27 » Scala for generic programmers |
JMLC
1997
Springer
13 years 11 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...
SIGSOFT
2010
ACM
13 years 5 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
14 years 8 months 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...
EGH
2003
Springer
14 years 18 days 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...
ICFP
2006
ACM
14 years 7 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...