Linked Lambdas (Vocabulary Integration in the Functional Programming Context)

Status
Submitted

Authors
Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich

Abstract
There exist various knowledge resources for functional program- ming: textbooks, wikis, course material, collections of program samples, etc. We describe an approach for integrating functional programming resources in terms of their underlying vocabularies. An important requirement is here that the integrated vocabulary is of manageable size and sufficiently validated and structured to be immediately useful, for example, for teaching on programming and documentation of programs. We apply the approach to four Haskell textbooks, the Haskell Wiki, and relevant content from Wikipedia. We have made the underlying data and tools available openly.

Bibtex entry 
@unpublished{LinkedLambdas,
  author    = {Ralf L{\"a}mmel and Thomas Schmorleiz and Andrei Varanovich},
  title     = "{Linked Lambdas (Vocabulary Integration in the Functional Programming Context)}",
  year      = {2013},
  note      = "6 pages. Submitted for publication. Available online since 29 March 2013."
}

Downloads and links