User loginNavigation 
CFP: OfftheBeatenTrack (OBT) workshop at POPL 2015Announcing the 2015 edition of the OBT workshop, to be colocated with POPL 2015, in Mumbai, India. Twopage paper submissions are due November 7, 2014. From the web page (http://www.cs.rice.edu/~sc40/obt15/):
Domain settingsI am about to make some changes to the name server definitions. Since changes take time to propagate, you may have trouble reaching the site for awhile. If this happens, try using the .com domain instead of the preferred .org domain. By Ehud Lamm at 20141004 11:24  Admin  login or register to post comments  other blogs  16035 reads
smlfamily.orgIn his blog, Bob Harper, in joint effort with Dave MacQueen and Lars Bergstrom, announces the launch of smlfamily.org:
By Ohad Kammar at 20140930 19:27  Fun  Functional  History  Implementation  Paradigms  Semantics  Theory  1 comment  other blogs  7479 reads
Inferring algebraic effectsLogical methods in computer science just published Matija Pretnar's latest take on algebraic effects and handlers:
Pretnar and Bauer's Eff has made previous appearances here on LtU. Apart from the new fangled polymorphic effect system, this paper also contains an Eff tutorial. By Ohad Kammar at 20140927 23:16  Functional  Implementation  Paradigms  Semantics  Theory  8 comments  other blogs  9169 reads
LtU's new server
Lambda the Ultimate is now running on a new, faster, more reliable server. The old one is now, uh... pining for the fjords.
This should resolve the increasingly frequent outages we've seen recently.
Because the old server had started failing, we didn't have time to do as much quality control on the migration as we would have liked. If anyone notices any issues with the site, please comment in this thread.
Currently known issues:
Breaking the Complexity Barrier of Pure Functional Programs with Impure Data StructuresBreaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures by Pieter Wuille and Tom Schrijvers:
This paper is along the same lines a question I asked a couple of years ago. The idea here is to allow programming using immutable interfaces, and then automatically transform it into a more efficient mutable equivalent. Inside the Wolfram LanguageVideo of Stephen Wolfram showing off the Wolfram Language and sharing his perspective on the design of the language at Strange Loop conference. What's in store for the most widely used language by discerning hackers?Or, in other words, what's the future of Emacs Lisp (and unavoidable HN discussion). The original message contains some interesting tidbits. I am not sure how the discussion on emacsdevel will develop. But speculating about things such as Guile elisp is, of course, our bailiwick. An operational and axiomatic semantics for nondeterminism and sequence points in CIn a recent LtU discussion, naasking comments that "I always thought languages that don't specify evaluation order should classify possibly effectful expressions that assume an evaluation order to be errors". Recent work on the C language has provided reasonable formal tools to reason about evaluation order for C, which has very complex evaluationorder rules. An operational and axiomatic semantics for nondeterminism and sequence points in C
One aspect of this work that I find particularly interesting is that it provides a program (separation) logic: there is a set of inference rules for a judgment of the form \(\Delta; J; R \vdash \{P\} s \{Q\}\), where \(s\) is a C statement and \(P, Q\) are logical pre,postconditions such that if it holds, then the statement \(s\) has no undefined behavior related to expression evaluation order. This opens the door to practical verification that existing C program are safe in a very strong way (this is all validated in the Coq theorem prover). Luca Cardelli FestschriftEarlier this week Microsoft Research Cambridge organised a Festschrift for Luca Cardelli. The preface from the book:
Hopefully the videos will be posted soon. By Ohad Kammar at 20140912 10:10  Category Theory  Lambda Calculus  Misc Books  Semantics  Theory  Type Theory  4 comments  other blogs  5174 reads

Browse archivesActive forum topics 
Recent comments
5 hours 46 min ago
6 hours 24 min ago
8 hours 58 min ago
10 hours 47 min ago
11 hours 34 sec ago
11 hours 7 min ago
12 hours 27 min ago
12 hours 42 min ago
13 hours 42 min ago
13 hours 45 min ago