« earlier | later » Page 2 of 4
Conal Elliott » Another angle on functional future values edit / delete
to concurrency functional futures research ... on 18 December 2009
SML-inspired practical "engineered" language. The design notes are quite interesting.
to functional language-design mythryl programming ... on 07 December 2009
The Genuine Sieve of Eratosthenes | Lambda the Ultimate edit / delete
The handy paper explaining why the sieve isn't quite what you think it is.
to eratosthenes functional maths primes programming sieve ... on 27 July 2009
Home Page for ATS edit / delete
Functional language with a powerful type system, an efficient via-C compilation process, and (obviously) a superb name.
to compiler functional language-design research type-checking ... on 13 September 2008
The specification of program flow in Madcap 6 edit / delete
A very interesting language -- essentially a modern functional design, from 1972, with list/set comprehensions, generators, and various other interesting features.
to functional language-design programming ... on 29 July 2008
Dependently-typed programming language with fun syntax. (Via MrTea.)
to functional language-design types ... on 15 June 2008
Blow your mind - HaskellWiki edit / delete
Some mostly opaque and occasionally useful things to do with Haskell.
to functional haskell programming ... on 09 May 2008
Haskell Programming: Miscellanea edit / delete
All sorts of completely insane things to do with Haskell.
to functional haskell programming ... on 09 May 2008
Nub Games » Writing a Simple Search Engine in Haskell: Part 1 — Maybe and List edit / delete
Includes the worst analogy for monads I've ever read, but there's some interesting stuff here.
to functional haskell monads research ... on 09 April 2007
Haskell/Existentially quantified types - Wikibooks, collection of open-content textbooks edit / delete
How to do heterogenous lists (i.e. lists containing items of a typeclass, rather than of a type).
to functional haskell programming research ... on 19 October 2006
« earlier | later » Page 2 of 4
| - functional | |
| 1 | + 1ml |
| 1 | + apue |
| 1 | + bcpl |
| 1 | + c |
| 1 | + c++ |
| 3 | + cmp409 |
| 3 | + compiler |
| 2 | + concurrency |
| 1 | + coq |
| 1 | + correctness |
| 1 | + design |
| 1 | + emas |
| 1 | + eratosthenes |
| 1 | + etext |
| 1 | + factor |
| 1 | + formal-verification |
| 1 | + forth |
| 1 | + futures |
| 14 | + haskell |
| 1 | + kent |
| 1 | + krc |
| 1 | + lambda-calculus |
| 1 | + language |
| 11 | + language-design |
| 1 | + lisp |
| 1 | + maths |
| 5 | + ml |
| 1 | + module |
| 1 | + modules |
| 4 | + monads |
| 1 | + mythryl |
| 4 | + ocaml |
| 1 | + parallel |
| 1 | + primes |
| 13 | + programming |
| 1 | + python |
| 1 | + reading-code |
| 12 | + research |
| 1 | + retrocomputing |
| 1 | + setl |
| 1 | + sieve |
| 1 | + standard-ml |
| 3 | + teaching |
| 1 | + theory |
| 1 | + turner |
| 1 | + type-checking |
| 1 | + type-inference |
| 1 | + type-systems |
| 1 | + types |
| 1 | + unix |
tasty by Adam Sampson.