1729 search results - page 28 / 346 » Generic Haskell: Applications |
CATA
2003
13 years 11 months ago
2003
COMPUTER
2000
13 years 9 months ago
2000
ASIACRYPT
2010
Springer
13 years 8 months ago
2010
Springer
GI
2009
Springer
13 years 7 months ago
2009
Springer
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
APLAS
2008
ACM
13 years 12 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...