308 search results - page 1 / 62 » A Functional Shell That Operates on Typed and Compiled Appli... |
133
Voted
AFP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
132
Voted
IFL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
129
Voted
TYPES
2004
Springer
15 years 8 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
114
Voted
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
This demonstration shows the programming development suite of the RETOS operating system for sensor networks, which provides a robust and multithreaded programming interface to ap...
81
Voted
MLQ
2006
15 years 2 months ago
2006
This paper is a companion to work of Feferman, J