5 search results - page 1 / 1 » cefp 2007 |
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
CEFP
2007
Springer
14 years 2 months ago
2007
Springer
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
CEFP
2007
Springer
14 years 4 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...