Journal: Higher-Order and Symbolic Computation

Volume 18, Issue 3-4

243 -- 244Matthias Felleisen, Julia L. Lawall, Manuel Serrano, Olin Shivers. Editorial
245 -- 269Philippe Meunier, Robby Findler, Paul Steckler, Mitchell Wand. Selectors Make Set-Based Analysis Too Hard
271 -- 298Danny Dubé, Marc Feeley. BIT: A Very Compact Scheme System for Microcontrollers
299 -- 326Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig. Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme s Recursive Binding Construct
327 -- 354Martin Gasbichler, Michael Sperber. Integrating User-Level Threads with Processes in Scsh
355 -- 370Oleg Kiselyov. Implementing Metcast in Scheme
371 -- 388Mayer Goldberg. A Variadic Extension of Curry s Fixed-Point Combinator

Volume 18, Issue 1-2

5 -- 6Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi. Editorial
7 -- 8Harry G. Mairson. Robert Paige (1947-1999)
9 -- 11Alan Siegel. Remembrances of Bob Paige
13 -- 13Martin Davis. An Appreciation of Bob Paige
15 -- 49Deepak Goyal. Transformational Derivation of an Improved Alias Analysis Algorithm
51 -- 77Jules Desharnais, Bernhard Möller. Least Reflexive Points of Relations
79 -- 120Nils Klarlund. Relativizations for the Logic-Automata Connection
121 -- 210Alberto Pettorossi, Maurizio Proietti, Sophie Renault. Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
211 -- 235Robert Paige. An NSF Proposal