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
Volume
Volume
10
, Issue
3
189
--
199
Mitchell Wand
.
The Theory of Fexprs is Trivial
201
--
222
Sho-Huan Simon Tung
.
Visualizing Evaluation in Scheme
223
--
236
Sanjeev Kumar
,
Carl Bruggeman
,
R. Kent Dybvig
.
Threads Yield Continuations
237
--
271
David A. Schmidt
.
Trace-Based Abstract Interpretation of Operational Semantics
Volume
10
, Issue
2
101
--
111
Olivier Danvy
,
Mayer Goldberg
.
Partial Evaluation of the Euclidian Algorithm
113
--
158
Robert Glück
,
Jesper Jørgensen
.
An Automatic Program Generator for Multi-Level Specialization
159
--
181
David S. Wise
,
Brian C. Heck
,
Caleb Hess
,
Willie Hunt
,
Eric Ost
.
Research Demonstration of a Hardware Reference-Counting Heap
Volume
10
, Issue
1
5
--
38
J. H. Jacobs
,
Mark R. Swanson
.
UCL+P - Defining and Implementing Persistent Common Lisp
39
--
60
Arthur H. Lee
,
Joseph L. Zachary
.
Adding Support for Persistence to CLOS via Its Metaobject Protocol
61
--
91
Atsushi Ohori
,
Tomonobu Takamizawa
.
An Unboxed Operational Semantics for ML Polymorphism