1286 search results - page 53 / 258 » From System F to Typed Assembly Language |
124
Voted
NPC
2010
Springer
15 years 2 months ago
2010
Springer
This paper introduces the DUP System, a simple framework for parallel stream processing. The DUP System enables developers to compose applications from stages written in almost any...
123
Voted
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
138
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
133
Voted
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
121
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...