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
22
, Issue
4
293
--
0
Olivier Danvy
,
Carolyn L. Talcott
.
Editorial
295
--
298
Richard Bornat
.
Peter Landin: a computer scientist who inspired a generation
299
--
303
Paul Boca
.
Personal recollections of Peter Landin: 1987-2009
305
--
312
Kevin Hammond
,
Greg Michaelson
.
The Peter Landin prize
313
--
314
Robert D. Tennent
.
An introduction to Landin s Getting Rid of Labels
315
--
329
Peter J. Landin
.
Getting rid of labels
331
--
332
Tony Clark
.
Stories about calculations: remembering Peter Landin
333
--
359
Peter J. Landin
.
Calculations
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
Volume
22
, Issue
2
113
--
0
Olivier Danvy
,
Carolyn L. Talcott
.
Editorial
115
--
144
Aaron Stump
.
Directly reflective meta-programming
145
--
154
David Monniaux
.
A minimalistic look at widening operators
155
--
189
Patricia Johann
,
Neil Ghani
.
A principled approach to programming with nested types in Haskell
191
--
195
Olivier Danvy
.
Peter J. Landin (1930-2009)
Volume
22
, Issue
1
1
--
0
Olivier Danvy
,
Julian A. Padget
.
Editorial
3
--
66
Tom Hirschowitz
,
Xavier Leroy
,
J. B. Wells
.
Compilation of extended recursion in call-by-value functional languages
67
--
80
Matthew Naylor
,
Colin Runciman
.
Expressible sharing for functional circuit description
81
--
111
Jean Bresson
,
Carlos Agon
,
Gérard Assayag
.
Visual Lisp/CLOS programming in OpenMusic