Results 1 - 1 of 1

Unboxed values as first class citizens in a non-strict functional language

by Simon L Peyton Jones, John Launchbury - Proceedings of the 5th ACM conference on Functional programming languages and computer architecture , 1991
"... The code compiled from a non-strict functional program usually manipulates heap-allocated boxed numbers. Compilers for such languages often go to considerable trouble to optimise operations on boxed numbers into simpler operations on their unboxed forms. These optimisations are usually handled in an ..."
Abstract - Cited by 119 (14 self) - Add to MetaCart
static and a dynamic semantics are given for the augmented language. The denotational dynamic semantics is notable for its use of unpointed domains.
Results 1 - 1 of 1