automatically / / see:

• All About Monads
• BrainFuck
• Cognitive Dimensions
• Computer Science
• Erlang
• Explaining Monads
• Fifty Questions For A Prospective Language Designer
• Garbage Collection
• LISP
• Lambda Papers
• Lisp Family
• Map Reduce
• Mozart Oz
• Pi Calculus
• Programming By Example
• Programming Language
• Python Notes
• Robin Milner
• Scheme Language
• Visual Programming

• LISP / / Lisp Family
• Mozart Oz
• Erlang
• Occam Language

treating programmes as works of literature is a notion which was introduced by DonaldKnuth (the author of TeX), and has been subsequently developed over time into several fully fledged programming environments. By writing programmes as texts primarily intended for a human reader, rather than a machine, it is surmised that programmes improve in quality, clarity, and accuracy of documentation, as well as being a pleasure to write (and of course read).

• general overview http://www.literateprogramming.com/
• CWEB http://www-cs-staff.stanford.edu/~knuth/cweb.html
• FunnelWeb? - lanaguage independant litterate programming http://www.ross.net/funnelweb/
• links http://tex.loria.fr/english/litte.html

Inverse litterate programming » http://lki-www.informatik.uni-hamburg.de/~kirschke/invlit.html

graphical models for programming, using graphs, icons or other graphical representaions of processes see: VisualProgramming (possibly Visual Languages also)

programming languages weblog http://lambda-the-ultimate.org/

• Fifty Questions For A Prospective Language Designer
• cs173 “programming languages” notes http://www.cs.brown.edu/courses/cs173/2003/Textbook/
• “one day compilers” http://www.venge.net/graydon/talks/mkc/html/mgp00001.html

Type Theory and Functional Programming http://www.cs.ukc.ac.uk/people/staff/sjt/TTFP/

Your Functional Programming Language Nightmares Come True http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/

“All About Monads” http://www.nomaware.com/monads/html/index.html

the Lambda Papers from Steele and Sussman

• E “ …the secure distributed pure-object platform and p2p scripting language for writing Capability-based Smart Contracts.” http://www.erights.org
• erlang, etc+

• Reppy, J. “Concurrent Programming in ML” Cambridge University Press, 1999
• http://people.cs.uchicago.edu/~jhr/papers.html

• prolog
• kanren http://kanren.sourceforge.net/

• The LLVM Compiler Infrastructure http://llvm.cs.uiuc.edu/

MetaBorg provides generic technology for allowing a host language (collective) to incorporate and assimilate external domains (cultures) in order to strengthen itself. The ease of implementing embeddings makes resistance futile. http://www.stratego-language.org/Stratego/MetaBorg

“ Lua is a general-purpose embedded programming language designed to support procedural programming with data-description facilities.” http://www.lua.org/

also Guile

http://www.daimi.au.dk/~eriksoe/Flip/index.html

• “Psychology of Programming Interest Group” > http://www.ppig.org

Category Computer Science