paperlined.org
conceptual
>
software
>
languages
document updated 20 years ago, on Mar 2, 2005
academic work
David Turner's
Miranda
perspectives
lang dev
lecture
(
slides
)