Blog Profile / Lambda the Ultimate
| URL : | http://lambda-the-ultimate.org/ | |
|---|---|---|
| Filed Under: | Technology / Programming | |
| Posts on Regator: | 335 | |
| Posts / Week: | 1.7 | |
| Archived Since: | August 9, 2009 | |
Blog Post Archive
CFP: ACM High Integrity Language Technology (HILT 2013) due June 29th; conference in Pittsburgh Nov. 10-14
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
The Three Laws of Programming Language Design
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
On the history of the question of whether natural language is “illogical”
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.
Terra: A low-level counterpart to Lua
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
Lisp in Summer Projects
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?
Typesafe Activator
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
John C. Reynolds, 1935-2013
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
Virgil: a statically-typed language balancing functional and OO features
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
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).
It's Alive! Continuous Feedback in UI Programming
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
DYNAMO
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
LtU is migrating from Drupal
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
Who's online
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
What is the most bizarre thing you have seen done with TeX?
A fun thread at stackexhange.
Twenty Reasons Why You Should Use Boxer (Instead of LOGO)
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
Dependent Types for JavaScript
Dependent Types for JavaScript, by Ravi Chugh, David Herman, Ranjit Jhala: We present Dependent JavaScript (DJS), a statically-typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging...Show More Summary
Concurrent Revisions
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
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
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
Socio-PLT: Principles for Programming Language Adoption
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