» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with Haskell + system:filetype:pdf

partial-vect.pdf :: Partial vectorisation of Haskell programs

Vectorisation for functional programs, also called the flattening transformation, relies on drastically reordering computations and restructuring the representation of data types. As a result, it only applies to the purely functional core of a fully-fledg

Haskell: del.icio.us tag/haskell

Partial vectorisation of Haskell programs

An approach to partial vectorisation that selectively vectorises sub-expressions and data types, and also, enables linking vectorised with unvectorised modules.

Haskell: del.icio.us tag/haskell

Scrap your type applications

many type applications can be implicit. Supports decidable type checking and strong normalisation. Haskell experiments suggest it could reduce the amount of intermediate code in compilers using System F

Haskell: del.icio.us tag/haskell

An Extensible Dynamically-Typed Hierarchy of Exceptions

Addresses lack of extensibility of Haskell exceptions. Proposal uses only existential types and the Typeable class. Extensible hierarchy of exceptions

Haskell: del.icio.us tag/haskell

The Genuine Sieve of Erastothenes

A common problem: the "naive" functional implementation is algorithmically inequivalent with what was intended

Haskell: del.icio.us tag/haskell

Page 1 | Next >>