34 search results - page 6 / 7 » Haskell Is Not Not ML |
SIGPLAN
1998
14 years 9 months ago
1998
HardwareLimitedandHarlequinbothmarket commercialMLcompilers,eachbootstrappedinML. Insomecorners,functionallanguagesbearareputationforgrossinefficiency,butthisreputationisoutof dat...
118
click to vote
POPL
1989
ACM
15 years 1 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
ESOP
2009
Springer
15 years 4 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
ASPLOS
2006
ACM
15 years 3 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...
OOPSLA
2005
Springer
15 years 2 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...