3056 search results - page 88 / 612 » Compiling Embedded Languages |
IFIP
2000
Springer
13 years 11 months ago
2000
Springer
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
IFL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
POPL
1994
ACM
14 years 8 days ago
1994
ACM
This paper presents a variant of the SML module system roduces a strict distinction between abstract types and manifest types (types whose definitions are part of the module speci...
CC
2006
Springer
13 years 10 months ago
2006
Springer
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...