5255 search results - page 547 / 1051 » Formal Methods for Privacy |
167
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
192
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe the structure of the Essential Haskell Compiler (EHC) and how we manage its complexity, despite its growth from essentials to a full Haskell compiler. Our...
191
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Haskell is a functional language, with features such as higher order functions and lazy evaluation, which allow succinct programs. These high-level features present many challenges...
158
click to vote
MEMOCODE
2005
IEEE
16 years 20 days ago
2005
IEEE
We recall the story of the development of the synchronous data-flow language LUSTRE and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its ...
