Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog

Input feed: Lambda the Ultimate - Programming Languages Weblog

1
…
9
10
11

217 - 240 of 249

CFP: ACM High Integrity Language Technology (HILT 2013) due June 29th; conference in Pittsburgh Nov. 10-14

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

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

The Three Laws of Programming Language Design

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

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

On the history of the question of whether natural language is “illogical”

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

Lambda the Ultimate - Programming Languages Weblog 05/22/2013

Terra: A low-level counterpart to Lua

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

Lambda the Ultimate - Programming Languages Weblog 05/15/2013

Lisp in Summer Projects

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

Lambda the Ultimate - Programming Languages Weblog 05/06/2013

Typesafe Activator

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

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

John C. Reynolds, 1935-2013

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

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

general history

Teaching Garbage-Collection

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

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

Virgil: a statically-typed language balancing functional and OO features

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

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

It's Alive! Continuous Feedback in UI Programming

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

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

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

Who's online

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

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

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

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

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

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

Ada 2012 Language Standard Approved by ISO

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

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

1
…
9
10
11

217 - 240 of 249