Open AccessBook
Haskell 98 language and libraries : the revised report
Peyton Jones,L Simon +1 more
TLDR
The Haskell 98 Language: Lexical structure, Declarations and bindings, Predefined types and classes, and Libraries.Abstract:
Part I. The Haskell 98 Language: 1 Introduction 2 Lexical structure 3 Expressions 4 Declarations and bindings 5 Modules 6 Predefined types and classes 7 Basic input/output 8 Standard prelude 9 Syntax reference 10 Specification of derived instances 11 Compiler pragmas Part II The Haskell 98 Libraries: 12 Rational numbers 13 Complex numbers 14 Numeric functions 15 Indexing operations 16 Arrays 17 List utilities 18 Maybe utilities 19 Character utilities 20 Monad utilities 21 Input/output 22 Directory functions 23 System functions 24 Dates and times 25 Locales 26 CPU time 27 Random numbers Bibliography.read more
Citations
More filters
Journal ArticleDOI
A faster algorithm for calculating hypervolume
TL;DR: An algorithm for calculating hypervolume exactly, the Hypervolume by Slicing Objectives (HSO) algorithm, that is faster than any that has previously been published and increases the utility of hypervolume, both as a metric for general optimization algorithms and as a diversity mechanism for evolutionary algorithms.
Journal ArticleDOI
Google's MapReduce programming model — Revisited
TL;DR: This work reverse-engineers the seminal papers on MapReduce and Sawzall, and captures the findings as an executable specification, using typed functional programming (specifically Haskell) as a tool for design recovery and executable specification.
Book
Concepts, Techniques, and Models of Computer Programming
Peter Van Roy,Seif Haridi +1 more
TL;DR: This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound and allows programmer and student to grasp the underlying unity of programming.
Journal ArticleDOI
Swift: A language for distributed parallel scripting
TL;DR: This work presents Swift's implicitly parallel and deterministic programming model, which applies external applications to file collections using a functional style that abstracts and simplifies distributed parallel execution.
Journal ArticleDOI
Applicative programming with effects
Conor McBride,Ross Paterson +1 more
TL;DR: An abstract characterisation of an applicative style of effectful programming, weaker than Monads and hence more widespread, is introduced and a bracket notation is introduced that interprets the normal application syntax in the idiom of an Applicative functor.
References
More filters
Journal ArticleDOI
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
TL;DR: A new class of computing systems uses the functional programming style both in its programming language and in its state transition rules; these systems have semantics loosely coupled to states—only one state transition occurs per major computation.
Book
Literate Programming
TL;DR: This anthology of essays from the inventor of literate programming also contains excerpts from the programs for TEX and METAFONT and CWEB, a system for Literate programming in C and related languages.
Journal ArticleDOI
Random number generators: good ones are hard to find
S. K. Park,Keith W. Miller +1 more
TL;DR: In this paper, practical and theoretical issues concerning the design, implementation, and use of a good, minimal standard random number generator that will port to virtually all systems are presented concerning the use of such a generator.
Proceedings ArticleDOI
Principal type-schemes for functional programs
Luis Damas,Robin Milner +1 more
TL;DR: Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage.