==== promangulation of lungs ====

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]]



==== specific languages ====

  * [[LISP]] / / [[Lisp Family]]
  * [[Mozart Oz]]
  * [[Erlang]]
  * [[Occam Language]]
	

==== litterate programming ====


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 


==== visual programming ====


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


==== general ====


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

==== language design ====


  * [[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
	
==== functional programming ====

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


==== distributed languages starting with 'e' ====



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

==== concurrecny ====

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

==== declarative logic ====


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


==== compilers at the machine level ====
 
  * The LLVM Compiler Infrastructure http://llvm.cs.uiuc.edu/


==== assimilation languages ====


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

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

also Guile 


===== related / meta[ ] / other =====

==== esoteric[as] ====

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


==== human factors/ psychology ====


  * "Psychology of Programming Interest Group" > http://www.ppig.org

----
[[Category Computer Science]]