327 search results - page 1 / 66 » Extensible programming with first-class cases |
TPHOL
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
HOTOS
2007
IEEE
14 years 8 months ago
2007
IEEE
Today's processors provide a rich source of statistical information on program execution characteristics through hardware counters. However, traditionally, operating system (...
ICFP
2006
ACM
15 years 4 months ago
2006
ACM
We present language mechanisms for polymorphic, extensible records and their exact dual, polymorphic sums with extensible first-class cases. These features make it possible to eas...
APLAS
2008
ACM
14 years 7 months ago
2008
ACM
Abstract. Exceptions are an indispensable part of modern programming languages. They are, however, handled poorly, especially by higherorder languages such as Standard ML and Haske...
ICFP
2006
ACM
15 years 4 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...