[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
I am happy to announce on behalf of Christian Urban as well as myself the availability of a paper on nominal logic programming. Although the technical content of the paper concerns defining and relating various semantics for such programs, applications including implementing core type systems, operational semantics, and language translations are also discussed.
It is available at
Comments are very welcome.