sorted by: recent | see :
popular
Content Tagged with functional + research
Oleg's website
A collection of programming languages papers and examples (mostly functional)
Haskell: del.icio.us tag/haskell
Programming
haskell
functional
scheme
research
Papers
algorithms
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
haskell
functional
research
compsci
types
system:filetype:pdf
system:media:document
Mark P. Jones
"Associate Professor in the Department of Computer Science in the Maseeh College of Engineering & Computer Science at Portland State University." Interests include functional programming, systems software. Developed initial Hugs.
Parallel Parsing Processes
Derivation of a monadic combinator parsing library, with choice implemented as breadth-first, instead of the usual depth-first, search.
Magnus Carlsson
Software engineer at Galois. Formerly at OGI and Chalmers. Contributed to adaptive FP, fudgets, reactive programming for GUIs, etc.
Functional Thinking " Deriving an Efficient nub Using Worker/Wrapper
A systematic way of solving the problem of finding an efficient nub for Int's, using recent work on the worker/wrapper transformation.
Page 1 | Next >>