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
13
, Issue
4
287
--
288
Olivier Danvy
,
Carolyn L. Talcott
.
Editorial
289
--
313
Yanhong A. Liu
.
Efficiency by Incrementalization: An Introduction
315
--
353
John Hatcliff
,
Matthew B. Dwyer
,
Hongjun Zheng
.
Slicing Software for Model Construction
355
--
368
Torben Æ. Mogensen
.
Glossary for Partial Evaluation and Related Topics