» tagged pages
» logout

sorted by: recent | see : popular
Content Tagged with research + haskell

Ross Paterson

Lecturer/researcher at the Department of Computing, City University London. "My research focusses on programming and programming languages, especially functional programming. I'm interested in functional programming techniques, embedded domain-specific languages based on various notions of computation, program transformations and persistent data structures."

Haskell: del.icio.us tag/haskell

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

Oleg's website

A collection of programming languages papers and examples (mostly functional)

Haskell: del.icio.us tag/haskell

polyparse: alternative parser combinator libraries

... which appear to be like Parsec, but with a cut operator rather than a try operator. Worth looking at.

Haskell: del.icio.us tag/haskell

Manuel M T Chakravarty

lazy parallel programming in haskell

Haskell: del.icio.us tag/haskell

Journal of Functional Programming

Journal of Functional Programming is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional

Haskell: del.icio.us tag/haskell

Foundations for Structured Programming with GADTs

The standard theory of data types as carriers of initial algebras of functors can be extended from algebraic and nested data types to GADTs.

Haskell: del.icio.us tag/haskell

Defunctionalization at Work

We study practical applications of Reynolds's defunctionalization technique, which is a whole-program transformation from higher-order to first-order functional programs. This study leads us to discover new connections between seemingly unrelated higher-o

Haskell: del.icio.us tag/haskell

Page 1 | Next >>