1729 search results - page 50 / 346 » Generic Haskell: Applications |
137
click to vote
WCFLP
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
ASIACRYPT
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Di�...
106
click to vote
IDMS
1999
Springer
15 years 2 months ago
1999
Springer
Interactive media streams with real-time characteristics, such as those produced by shared whiteboards, distributed Java applets or shared VRML viewers, are rapidly gaining importa...
100
click to vote
AGTIVE
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Since the systematic evolution of graph-like program models has become important in software engineering, graph transformation has gained much attention in this area. For...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...