Introduction to the genre-based literacy research.It focuses on the concept of genre, its place within the model of language and context developed as systemic functional linguistics, and the implementation of this concept in learning to read and write.
I've been thinking about the best approach to implement pure function verification in the Scala compiler. An approach similar to the one in D would fit a lot better than the one used in Haskell (which would break all existing code and cause some problems due to strict evaluation). A solution using annotations would be quite simple to implement:
Elegant, instructive examples of functional programming. Supposed to be fun, and teach important programming techniques and fundamental design principles. Traditionally appear in Journal of Functional Programming, and at ICFP and affiliated workshops.
This article uses a high school science class to see how language was used to connect theory and practice. It draws on classroom data analysed from a functional linguistic perspective, exploring the nature of science as a socially constructed practice.
L. Schröder, and T. Mossakowski. Algebraic Methodology And Software Technology (AMAST 2002), volume 2422 of Lecture Notes in Computer Science, page 99--116. Springer; Berlin; http://www.springer.de, (2002)