2362 search results - page 82 / 473 » Programming in Standard ML |
248
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
142
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
118
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a simple but powerful generaliz...
138
click to vote
ICFP
2003
ACM
16 years 3 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
132
Voted
ICFP
1999
ACM
15 years 7 months ago
1999
ACM
Type dispatch constructs are an important feature of many programming languages. Scheme has predicates for testing the runtime type of a value. Java has a class cast expression an...