SNAPL, taking place 3-6 May in
Asilomar, now has a publisher. Proceedings will appear in the LIPIcs series published by Dagstuhl. Five pages in ACM style is about eight pages in LIPIcs style, so the SNAPL call for papers has changed the paper length accordingly.
Previously:
SNAPL.
Labels: Computing, Programming Languages
# posted by Philip Wadler @ 4:39 AM
