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
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)