Well deserved, of course. Congrats!
Video of Stephen Wolfram showing off the Wolfram Language and sharing his perspective on the design of the language at Strange Loop conference.
Hack is open source and is available at hacklang.org. It supports type annotation, generics, lambdas and host of other features on top of PHP.
Alan Schmitt just posted an invitation to participate in this event which will take place at POPL. I think anyone who can attend should.
The UniversitÃ© catholique de Louvain has joined the edX consortium this year, and as part of edX Peter Van Roy is preparing a MOOC (Massive Open Online Course) called Paradigms of Computer Programming starting next February.
As you'd expect the course uses the CTM book and is based on the course Peter has been teaching, it will thus present a multi-paradigm approach to programming and include non-traditional computational models such as the deterministic dataflow model for concurrent programming.
I wonder who will end up signing up for this course. I think the option of auditing might appeal to folks who found CTM interesting but are way beyond the category of beginning programmers for whom the course is officially designed.
I know of some outstanding dissertations. I am sure you do to. So why not nominate them for this honor (for further details see here)?
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 by searching the archives.
Active forum topics
New forum topics