New paper from Stephen Chang, David Van Horn, and Matthias Felleisen, appearing at Trends in Functional Programming 2010: Evaluating Call By Need on the Control Stack.
Abstract:
Ariola and Felleisen’s call-by-need λ-calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substitution, function applications—once established—are never discharged. In [...]
on twitter
Anyone looking for a hot shit young hacker who knows music, programming, and its intersection? (cc @ConductiveIO)
,@swannodette ... the first good reason I've heard for Stephen Wolfram being FAMOUS.
,@collapsing_star Quite competitive. It's one of the best PL groups in the world though, so that should be expected.
RT: @racketlang Racket v5.2.1 is now available: http://t.co/idX9eDTF
I'm glad I'm not applying to the PhD program at Northeastern for PL. I doubt I'd make it.
ACM SIGPLAN Haskell Symposium 2012, Call for Papers: http://t.co/sCzt9E9u
International Colloquium on Automata, Languages and Programming (ICALP 2012), CFP http://t.co/GMjHeQaM
Mathematical Foundations of Programming Semantics, CFP http://t.co/8NBTinYW
Postdoc in PL group at U Maryland with Hicks and Foster. http://t.co/XBJilZYN second announcement, much more open ended now
Postdoctoral Position in Computational Logic at CMU with Pfenning and Cervesato http://t.co/dTMwu1oX
Blogroll
- A Neighborhood of Infinity
- Aaron Hawley (Refusal Computing)
- Aaron Stump (QA9)
- Andrej Bauer (Mathematics and Computation)
- Close Encounters of the Logical Kind (Riccardo Pucella)
- Computing Community Consortium (CCC Blog)
- Computing Research Policy Blog
- Dave Herman (The Little Calculist)
- Jacob Matthews
- Jens Axel Søgaard (Everything Scheme)
- Jereme Mongeon (test2)
- Justin Henry (Green Galoshes)
- Lambda the Ultimate
- Lance Fortnow and Bill Gasarch (Computational Complexity)
- Matt Might (Professor Might’s Blog)
- Mike Machenry (Turing Complete Waste of Time)
- Phil Wadler
- Phillip Alvelda (All the Best Bits)
- PLT Scheme
- Untyped
- Wand Symposium and Festschrift