Umeå, Sweden
coldwa.st/e
programming languages; functional programming; types; compiler construction.