Lambda-the-ultimate - lambda-the-ultimate.org - Lambda the Ultimate - Programming Languages Weblog
General Information:
Latest News:
Parsing people, unite! Call for position papers for Parsing@SLE (SPLASH, Indianapolis) 5 Aug 2013 | 03:09 pm
Parsing@SLE is a new workshop on parsing programming languages and other software languages. The intended participants are the authors of parser generation tools and parsers for programming languages ...
Extensible Effects -- An Alternative to Monad Transformers 29 Jul 2013 | 07:53 pm
Extensible Effects -- An Alternative to Monad Transformers, by Oleg Kiselyov, Amr Sabry and Cameron Swords: We design and implement a library that solves the long-standing problem of combining effect...
Mixed-Site Variance 3 Jul 2013 | 07:26 pm
Ross Tate is calling for "Industry Endorsement" for his paper Mixed-Site Variance. ..this is an attempt to make industry experience admissible as evidence in academic settings, just like they do in i...
Heap space analysis for garbage collected languages 29 Jun 2013 | 08:01 pm
Heap space analysis for garbage collected languages, by Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa: Accurately predicting the dynamic memory consumption (or heap space) of programs can be cri...
CFP: ACM High Integrity Language Technology (HILT 2013) due June 29th; conference in Pittsburgh Nov. 10-14 6 Jun 2013 | 09:08 pm
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 1...
The Three Laws of Programming Language Design 31 May 2013 | 06:26 pm
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. ...
On the history of the question of whether natural language is “illogical” 22 May 2013 | 02:32 pm
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...
Terra: A low-level counterpart to Lua 15 May 2013 | 01:38 pm
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 prog...
Lisp in Summer Projects 7 May 2013 | 01:55 am
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, tec...
Typesafe Activator 1 May 2013 | 04:30 am
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 down...
