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