487 search results - page 25 / 98 » A Compiled Implementation of Normalization by Evaluation |
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Higher-order languages that encourage currying are implemented using one of two basic evaluation models: push/enter or eval/apply. Implementors use their intuition and qualitative...
ICESS
2007
Springer
15 years 5 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
117
click to vote
PEPM
1994
ACM
15 years 3 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
177
click to vote
DATE
1998
IEEE
15 years 3 months ago
1998
IEEE
Attribute grammars have been used extensively in every phase of traditional compiler construction. Recently, it has been shown that they can also be effectively adopted to handle ...
107
Voted
CASES
2000
ACM
15 years 3 months ago
2000
ACM
This paper introduces the notion of a Flexible Instruction Processor (FIP) for systematic customisation of instruction processor design and implementation. The features of our app...