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
15
, Issue
4
271
--
0
Olivier Danvy
,
Carolyn L. Talcott
.
Editorial
273
--
300
Patricia Johann
.
A Generalization of Short-Cut Fusion and its Correctness Proof
301
--
348
Scott F. Smith
,
Carolyn L. Talcott
.
Specification Diagrams for Actor Systems
349
--
365
Peter Henderson
.
Functional Geometry