• Corpus ID: 35567420

Haskell - the craft of functional programming

@inproceedings{Thompson1996HaskellT,
  title={Haskell - the craft of functional programming},
  author={Simon J. Thompson},
  booktitle={International computer science series},
  year={1996}
}
  • S. Thompson
  • Published in
    International computer…
    1 August 1996
  • Computer Science
From the Publisher: The second edition of Haskell: The Craft of Functional Programming is essential reading for beginners to functional programming and newcomers to the Haskell programming language. The emphasis is on the process of crafting programs and the text contains many examples and running case studies, as well as advice an program design, testing, problem solving and how to avoid common pitfalls. Building on the strengths of the first edition, the book includes many new and improved… 
Integration von Programmiersprachen durch strukturelle Typanalyse und partielle Auswertung
TLDR
This dissertation focuses on a special case of language integration: the embedding of a language in an existing one and proposes a new embedding-technique, based on structural type analysis and partial evaluation, which allows for the generation of code that is nearly as efficient as code being generated by established Haskell compilers.
Language and compiler support for mixin programming
TLDR
This dissertation takes a step towards increasing code modularity by showing that mixin generic types can be used effectively to build applications from reusable software components and identifies novel language and compiler features that make programming with mixins convenient and efficient.
Aspects of functional programming
TLDR
It is shown how functional languages can be used to implement solutions to problems in fuzzy logic using a number of languages: Haskell, Ginger and Aladin and it is shown that by using the advantages of Aladin, the application of functional programming in new areas can be explored.
Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language call
TLDR
Various proposed extensions to Haskell are introduced along the way, and an operational semantics that explains what these extensions mean are offered, and various examples added to clarify evaluate.
Algorithms: A Functional Programming Approach
TLDR
Placing the emphasis on program development rather than the mathematical properties of algorithms, the book uses a succession of practical programming examples to develop in the reader problem-solving skills which can be easily transferred to other language paradigms.
HaskellFL: A Tool for Detecting Logical Errors in Haskell
TLDR
HaskellFL, a tool that uses fault localization techniques to locate a logical error in Haskell code, is presented, and results showed that HaskellFL reduced the effort needed to locate an error for all tested scenarios.
A Study of Scala Repositories on Github
TLDR
A novel compiler kit is developed that measures lines of code and adaptively learns to estimate the cyclomatic complexity of functional-object codes by studying the complexity of open source codes written in Scala, a modern language that unifies functional and object programming.
Programming with Sequence Variables: the Sequentica Package
TLDR
This work proposes a number of new programming constructs which impose certain strategies on the pattern matching process and regard these extensions as a first step towards identifying a new programming style: programming with sequence variables.
Contract Checking For Lazy Functional Languages
TLDR
This thesis describes one implementation of a static property checker based on program transformation and proposes a framework to tackle higher-order program verification, which uses program inlining until properties are easily checked by several automatic theorem provers.
Types and programming languages
TLDR
This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.
...
...