Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog

Input feed: Lambda the Ultimate - Programming Languages Weblog

Sort by: Date tagged Date published

1
…
8
9
10

226 - 249 of 249

It's Alive! Continuous Feedback in UI Programming

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

Lambda the Ultimate - Programming Languages Weblog 04/04/2013

ltu forum
DYNAMO

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

Lambda the Ultimate - Programming Languages Weblog 04/01/2013

fun history dsl
LtU is migrating from Drupal

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

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

admin
Who's online

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

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

admin
What is the most bizarre thing you have seen done with TeX?

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

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

fun
Dependent Types for JavaScript

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

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

theory type theory object-functional
Concurrent Revisions

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

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

oop implementation parallel/distributed
Feature-Oriented Programming with Object Algebras

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

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

oop implementation
Twenty Reasons Why You Should Use Boxer (Instead of LOGO)

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

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

ltu forum
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
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
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
Photoshop 1.0 Source Code

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

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

history
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
Ada 2012 Language Standard Approved by ISO

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

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

general
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
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
A module system for the C family

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

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

implementation
Life of an instruction in LLVM

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

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

implementation
ACM Sigplan Outstanding Dissertation Award

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

Lambda the Ultimate - Programming Languages Weblog 11/06/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
Rob Pike on Go at Google

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

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

general
Visi.io

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

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

functional logic/declarative parallel/distributed
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

1
…
8
9
10

226 - 249 of 249