Bibframe Work

Deriving compilers and virtual machines for a multi-level language / Atsushi Igarashi, and Masashi Iwaki

Finally tagless, partially evaluated : tagless staged interpreters for similar typed languages / Jaques Carette, Oleg Kiselyov, and Chung-chieh Shan

Polymorphic delimited continuations / Kenichi Asai, and Yukiyoshi Kameyama

Adjunct elimination in context logic for trees / Cristiano Calcagno, Thomas Dinsdale-Young, and Philippa Gardner

Positive arithmetic without exchange is a subclassical logic / Stefano Berardi and Makoto Tatsuta

Mixed inductive/conductive types and strong normalizations / Andreas Abel

Static and dynamic analysis : better together (abstract) / Sriram K.K. Rajamani

The semantics of "semantic patches" in Coccinelle : program transformation for the working programmer / Neil D. Jones and René Rydhof Hansen

An efficient SSA-based algorithm for complete global value numbering / Jiu-Tao Nie and Xu Cheng

A systematic approach to probabilistic pointer analysis / Alessandra Di Pierro, Chris Hankin, and Herbert Wiklicky

Complete lattices and up-to techniques / Damien Pous

A trace based bisimulation for the spi calculus : an extended abstract / Alwen Tiu

CCS with replication in the Chomsky hierarchy : the expressive power of divergence / Jesús Aranda, Cinzia Di Giusto, Mogens Nielsen, and Frank D. Valencia

Call-by-name and call-by-value in normal modal logic / Yoshihiko Kakutani / Call-by-value is dual to call-by name, extended / Daisuke Kimura.