[ 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

http://arxiv.org/abs/cs.PL/0609062

Comments are very welcome.

--James

Reply via email to