2290 search results - page 13 / 458 » Extensible Protected Types |
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
IFL
2001
Springer
14 years 7 min ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
CIMCA
2005
IEEE
14 years 1 months ago
2005
IEEE
TAM (Topographic Attentive Mapping) network is a biologically-motivated neural network with Gabor function type receptive elds. However, the structure of receptive elds is a mon...
MTA
2011
13 years 2 months ago
2011
Abstract This paper describes an interoperable Digital Rights Management architecture promoted by the MPEG standardization group in its new standard known as MPEG-M or MPEG Extensi...