|Filed Under:||Technology / Programming|
|Posts on Regator:||335|
|Posts / Week:||1.7|
|Archived Since:||August 9, 2009|
The deadline is June 29th (less than 4 weeks away) for submitting papers to the annual ACM conference on High Integrity Language Technology (HILT 2013). The conference will be in Pittsburgh November 10-14, in close proximity to the Software Engineering Institute and CMU. Show More Summary
Joe Armstrong(of Erlang) while reviewing Elixir(Ruby like language that compiles to Erlang Virtual Machine) states his Three Laws of Programming Language Design. What you get right nobody mentions. What you get wrong, people bitch about. What...Show More Summary
A nice essay from Barbara Partee on the origins of formal semantics of natural languages and Montague Grammar. Not directly programming language material, the topic is likely to interest many here. I think several interesting previous discussions related to Montague can be found be searching the archives.
A very interesting project developed by Zachary DeVito et al at Stanford University: Terra is a new low-level system programming language that is designed to interoperate seamlessly with the Lua programming language: -- This top-level...Show More Summary
This summer, spend some quality time with your favorite technology in our 2013 summer programming contest! The Lisp community is awarding prizes for demonstrating interesting and useful programs, technologies and art using any LISP-based technology. Lisp, prizes, what's not to like?
A new addition to the Typesafe Platform is Activator, a unique, browser-based tool that helps developers get started with Typesafe technologies quickly and easily. Getting started is a snap; just download, extract and run the executable to start building applications immediately via the easy to use wizard based interface. Show More Summary
Randy Bryant, dean of the school of computer science at CMU, sent out an email saying that John C. Reynolds passed away yesterday. Subject: In Memoriam. John Reynolds, June 1, 1935 - April 28, 2013 Date: Sun, 28 Apr 2013 21:45:12 -0400 From:...Show More Summary
In PLDI this year: Ben Titzer, "Harmonizing Classes, Functions, Tuples, and Type Parameters in Virgil III" [pdf] Given a fresh start, a new language designer is faced with a daunting array of potential features. Where to start? WhatShow More Summary
Teaching garbage collection by implementing GCs can imply heavy curricular dependencies. We've worked at shrinking them so the material can be used in any number of contexts, and this material is being used by several universities that use PLAI. We have a pedagogic paper about our approach, which we've summarized in a blog post (with a link to the full paper).
A paper by Burckhardt et al that will appear at PLDI 2013. Abstract: Live programming allows programmers to edit the code of a running program and immediately see the effect of the code changes. This tightening of the traditional edit-compile-run...Show More Summary
I was surprised to see that DYNAMO hasn't been mentioned here in the past. DYNAMO (DYNAmic MOdels) was the simulation language used to code the simulations that led to the famous 1972 book The Limits to Growth from The Club of Rome. The language was designed in the late 1950s. Show More Summary
As many of you know we have been suffering for a long time from the deficiencies of Drupal. We have not updated our infrastructure for a long time. Among the features members have been asking for are better integration with other sites and more social features. Show More Summary
Earlier today I enabled a drupal feature that list the names of users currently online. It was on the bottom of the right-hand navigation bar, and looked something like this: Who's online There are currently 7 users and 887 guests online. Online...Show More Summary
A fun thread at stackexhange.
An old paper on boxer that I found while reviewing related work for a paper I'm writing, abstract: Boxer was designed as a successor to Logo, with the same educational goals in mind. Whereas Logo has incrementally added features over the years, Boxer changes the core computational structures of the language and environment. Show More Summary
Concurrent Revisions is a Microsoft Research project doing interesting work in making concurrent programming scalable and easier to reason about. These papers work have been mentioned a number of times here on LtU, but none of them seem...Show More Summary
Feature-Oriented Programming with Object Algebras, by Bruno C.d.S. Oliveira, Tijs van der Storm, Alex Loh, William R. Cook: Object algebras are a new programming technique that enables a simple solution to basic extensibility and modularity issues in programming languages. Show More Summary
How OCaml type checker works -- or what polymorphism and garbage collection have in common There is more to Hindley-Milner type inference than the Algorithm W. In 1988, Didier Rémy was looking to speed up the type inference in Caml and discovered an elegant method of type generalization. Show More Summary
In their survey paper and their website, Leo Meyerovich and Ari Rabkin take Jared Diamond approach to explaining Programming Language adoption. Why do some programming languages fail and others succeed? What does the answer tell us about...Show More Summary