New items – 15 total

• Milner Symposium 2012

  http://lambda-the-ultimate.org/node/4620

  Lambda the Ultimate - Programming Languages Weblog 10/16/2012

  general history functional theory parallel/distributed semantics

• Visi.io

  http://lambda-the-ultimate.org/node/4628

  Lambda the Ultimate - Programming Languages Weblog 10/27/2012

  functional logic/declarative parallel/distributed

• Rob Pike on Go at Google

  http://lambda-the-ultimate.org/node/4629

  Lambda the Ultimate - Programming Languages Weblog 10/27/2012

  general

• Records, sums, cases, and exceptions: Row-polymorphism at work

  http://lambda-the-ultimate.org/node/4631

  Lambda the Ultimate - Programming Languages Weblog 11/01/2012

  implementation type theory

• ACM Sigplan Outstanding Dissertation Award

  http://lambda-the-ultimate.org/node/4634

  Lambda the Ultimate - Programming Languages Weblog 11/06/2012

  general

• Life of an instruction in LLVM

  http://lambda-the-ultimate.org/node/4645

  Lambda the Ultimate - Programming Languages Weblog 11/25/2012

  implementation

• A module system for the C family

  http://lambda-the-ultimate.org/node/4649

  Lambda the Ultimate - Programming Languages Weblog 12/05/2012

  implementation

• Eighth draft of Scheme R7RS-small published

  http://lambda-the-ultimate.org/node/4652

  Lambda the Ultimate - Programming Languages Weblog 12/08/2012

  ltu forum

• What will programming look like in 2020?

  http://lambda-the-ultimate.org/node/4655

  Lambda the Ultimate - Programming Languages Weblog 12/12/2012

  ltu forum

• Ada 2012 Language Standard Approved by ISO

  http://lambda-the-ultimate.org/node/4661

  Lambda the Ultimate - Programming Languages Weblog 12/22/2012

  general

• Cognitive Architectures: A Way Forward for the Psychology of Programming

  http://lambda-the-ultimate.org/node/4687

  Lambda the Ultimate - Programming Languages Weblog 02/12/2013

  ltu forum

• Photoshop 1.0 Source Code

  http://lambda-the-ultimate.org/node/4688

  Lambda the Ultimate - Programming Languages Weblog 02/14/2013

  history

• Simple Generators v. Lazy Evaluation

  http://lambda-the-ultimate.org/node/4690

  Lambda the Ultimate - Programming Languages Weblog 02/21/2013

  fun paradigms software engineering

• Socio-PLT: Principles for Programming Language Adoption

  http://lambda-the-ultimate.org/node/4691

  Lambda the Ultimate - Programming Languages Weblog 02/26/2013

  general teaching & learning

• How OCaml type checker works -- or what polymorphism and garbage collection have in common

  http://lambda-the-ultimate.org/node/4694

  Lambda the Ultimate - Programming Languages Weblog 03/10/2013

  functional implementation type theory