« earlier | later » Page 2 of 4
Real World OCaml edit / delete
Full text online. Like "Real World Haskell", but for O'Caml, as you might expect. This is pretty interesting, but it's very focussed on the Jane Street libraries which I'm not terribly keen on.
to etext functional ocaml ... on 11 October 2016
Unix system programming in OCaml edit / delete
"This document is an introductory course on Unix system programming, with an emphasis on communications between processes. The main novelty of this work is the use of the OCaml language". This is effectively APUE done in OCaml -- which is a really nice way (in my opinion!) to introduce the language.
to apue functional ocaml programming unix ... on 16 March 2016
Learning Haskell as a Nonprogrammer | SuperGinBaby edit / delete
to functional haskell programming teaching ... on 07 June 2015
C++ - From goto to std::transform edit / delete
Doing the same thing several different ways.
to c++ functional language-design ... on 27 April 2014
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
« 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.