==== 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 [[Donald Knuth]] (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]]