5415 search results - page 286 / 1083 » The Implementation of Functional Programming Languages |
110
click to vote
PADL
2005
Springer
15 years 7 months ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
TYPES
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
177
click to vote
PLDI
1995
ACM
15 years 5 months ago
1995
ACM
Compile-time type information should be valuable in efficient compilation of statically typed functional languages such as Standard ML. But how should type-directed compilation w...
108
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization description that specifies how t...