Journal: Higher-Order and Symbolic Computation

Volume 14, Issue 4

307 -- 307Olivier Danvy, Takayasu Ito, Carolyn L. Talcott. Editorial
309 -- 356Edoardo Biagioni, Robert Harper, Peter Lee. A Network Protocol Stack in Standard ML
357 -- 386Luc Moreau. Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation
387 -- 409Yong Xiao, Amr Sabry, Zena M. Ariola. From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition