107
click to vote
HASKELL
15 years 2 months ago
2006 ACM 
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
HASKELL
15 years 2 months ago
2006 ACM 
In languages that support polymorphic variants, a single variant value can be passed to many contexts that accept different sets of constructors. Polymorphic variants are potenti...
HASKELL
15 years 2 months ago
2006 ACM  HASKELL
15 years 2 months ago
2006 ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
HASKELL
15 years 2 months ago
2006 ACM 
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...
|
Programming Languages