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
22
, Issue
3
197
--
0
Olivier Danvy
,
Carolyn L. Talcott
.
Editorial
199
--
231
Zaynah Dargaye
,
Xavier Leroy
.
A verified framework for higher-order uncurrying optimizations
233
--
273
Zena M. Ariola
,
Hugo Herbelin
,
Amr Sabry
.
A type-theoretic foundation of delimited continuations
275
--
291
Kenichi Asai
.
On typing delimited continuations: three new solutions to the printf problem