Accepted papers for the 2009 ICFP have been announced and several look quite interesting. Midtgaard and Jensen’s “Control-Flow Analysis of Function Calls and Returns by Abstract Interpretation” is available as a TR here. PLT has an impressive showing, and Ralf Hinze’s “La Tour D’Hanoï” is sure to be fun.
on twitter
"This is not a law-and-order issue; it is a medical and a human rights issue." http://t.co/nRKzmDxC
Commercial Users of Functional Programming (CUFP) 2012, Call for Presentations http://t.co/hrN4WyvB
@TheOfficialACM Perlis.
@swannodette @samth No, but it's prototyped as a lang language on github. Still very experimental.
Summer School on Language Frameworks (in the Carpathian Mountains!) http://t.co/WbrJWu5N
Racket + Generics via @asumu: https://t.co/OFAVlDuA
5-year Postdoc in Higher-Order Model Checking at University of Tokyo with Naoki Kobayashi http://t.co/xlyl361X
@rbxbx Not true! TFP'10 was and TFP'13 will be. See http://t.co/vwiW0aun
Draft program for Trends in Functional Programming 2012 http://t.co/k1TOw0J6
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