programming language design

Staking Claims: A History of Programming Language Design Claims ...

Lambda the Ultimate - Programming Languages Weblog  Sat, 04/09/2011 - 18:37

Interesting paper I found on usability and PL, abstract:


 

Emerging Languages Conference

Lambda the Ultimate - Programming Languages Weblog  Tue, 04/06/2010 - 14:07

This might be of interest to people that will be at OSCON 2010 or will be in Portland, Oregon on July 21-22.

Announcing the First Emerging Languages Conference


 

Representing Control in the Presence of First-Class Continuation...

Lambda the Ultimate - Programming Languages Weblog  Mon, 07/27/2009 - 11:03

Robert Hieb, R. Kent Dybvig, and Carl Bruggeman. Representing Control in the Presence of First-Class Continuations. ACM SIGPLAN 1990 Conference on Programming Language Design and Implementation, June 1990.


 

Phosphorous, The Popular Lisp

Lambda the Ultimate - Programming Languages Weblog  Fri, 07/10/2009 - 03:48

Joseph F. Miklojcik III, Phosphorous, The Popular Lisp.

We present Phosphorous; a programming language that draws on the power and elegance of traditional Lisps such as
Common Lisp and Scheme, yet which brings those languages into the 21st century by ruthless application of our “popular is better” philosophy into all possible areas of programming language design.


 

Mental animation: Inferring motion from static diagrams of mecha...

Lambda the Ultimate - Programming Languages Weblog  Wed, 06/17/2009 - 18:59

Hegarty, M. (1992). Mental animation: Inferring motion from static diagrams of mechanical systems.

Journal of Experimental Psychology: Learning, Memory and Cognition, 18(5) 1084-1102

Reaction-time and eye-fixation data are analyzed to investigate how people infer the kinematics of simple mechanical systems (pulley systems) from diagrams showing their static configuration.


 

Languages and security: a short reading list

Lambda the Ultimate - Programming Languages Weblog  Tue, 03/10/2009 - 18:45

Ivan Krstić, former director of One Laptop per Child and all around computer security guru, has a few humorous thoughts on the current intersection between security and programming language design in Languages and security: a short reading list.

If I had to grossly overgeneralize, I’d say people looking at language security fall in roughly three schools of thought:


 

Simon Peyton Jones Interview

Lambda the Ultimate - Programming Languages Weblog  Fri, 09/19/2008 - 09:51

A Simon Peyton Jones interview as part of the series The A-Z of Programming Languages that Naomi Hamilton has been putting together.

Posting this one to the front page, not because of any bias towards functional programming, so much as it stands on its own as interesting and insightful from the standpoint of programming language design and evolution.