[TYPES/announce] Paper: Nominal logic programming

[James Cheney]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060913/c0999970/attachment.htm