Added a new linear logic bibliography to the bibliographies page, and added a link to its corresponding What's New page above.
Added the proceedings of the 1995 High-Performance Functional Computing Conference to the conference page.
Added the SCILL (Syntactic Control of Interference and Linear Logic) workshop web page to the conferences page. Added Uday Reddy's list of related (online) readings to the bibliographies page.
Also added the Foundational Methods in Computer Science Workshop web page and the Summer School on Partial Evaluation and the Summer Short Courses on Optimizing Compilers announcements.
Added the AADEBUG (Workshop on Automated and Algorithmic Debugging) program and the Fuji International Workshop on Functional and Logic Programming call for papers to the conferences page. Also added the LCR (Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers) web page.
Back to
the language research page