researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Higher-Order and Symbolic Computation
Home
Index
Info
Issue
Volume
14
, Issue
4
307
--
307
Olivier Danvy
,
Takayasu Ito
,
Carolyn L. Talcott
.
Editorial
309
--
356
Edoardo Biagioni
,
Robert Harper
,
Peter Lee
.
A Network Protocol Stack in Standard ML
357
--
386
Luc Moreau
.
Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation
387
--
409
Yong Xiao
,
Amr Sabry
,
Zena M. Ariola
.
From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition