Twan van Laarhoven's blog twanvl.nl

A small rant on writing academic papers

twanvl.nl·774w

Isomorphism lenses

twanvl.nl·782w

Talk on Lenses

twanvl.nl·783w

Moving to a new website

twanvl.nl·791w

More composition operators

twanvl.nl·827w

Four ways to fold an array

twanvl.nl·862w

CPS based functional references

twanvl.nl·878w

Where do I get my non-regular types?

twanvl.nl·891w

A non-regular data type challenge

twanvl.nl·891w

Knight in n, part 4: tensors

twanvl.nl·910w

Knight in n, part 3: rings

twanvl.nl·911w

Knight in n, part 2: combinatorics

twanvl.nl·911w

Knight in n, part 1: moves

twanvl.nl·912w

Arrays without bounds

twanvl.nl·914w

A generic merge function

twanvl.nl·927w

Solving nonograms

twanvl.nl·930w

Simple reflection of expressions

twanvl.nl·955w

References, Arrows and Categories

twanvl.nl·967w

Overloading functional references

twanvl.nl·976w

Knuth-Morris-Pratt in Haskell

twanvl.nl·996w

Log in to enable infinite scrolling