122 search results - page 1 / 25 » Polymorphic variants in Haskell |
HASKELL
2006
ACM
15 years 4 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...
SCP
2002
14 years 9 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
FLOPS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
APLAS
2005
ACM
15 years 3 months ago
2005
ACM
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...