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
18
, Issue
3-4
243
--
244
Matthias Felleisen
,
Julia L. Lawall
,
Manuel Serrano
,
Olin Shivers
.
Editorial
245
--
269
Philippe Meunier
,
Robby Findler
,
Paul Steckler
,
Mitchell Wand
.
Selectors Make Set-Based Analysis Too Hard
271
--
298
Danny Dubé
,
Marc Feeley
.
BIT: A Very Compact Scheme System for Microcontrollers
299
--
326
Oscar Waddell
,
Dipanwita Sarkar
,
R. Kent Dybvig
.
Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme s Recursive Binding Construct
327
--
354
Martin Gasbichler
,
Michael Sperber
.
Integrating User-Level Threads with Processes in Scsh
355
--
370
Oleg Kiselyov
.
Implementing Metcast in Scheme
371
--
388
Mayer Goldberg
.
A Variadic Extension of Curry s Fixed-Point Combinator
Volume
18
, Issue
1-2
5
--
6
Olivier Danvy
,
Fritz Henglein
,
Harry G. Mairson
,
Alberto Pettorossi
.
Editorial
7
--
8
Harry G. Mairson
.
Robert Paige (1947-1999)
9
--
11
Alan Siegel
.
Remembrances of Bob Paige
13
--
13
Martin Davis
.
An Appreciation of Bob Paige
15
--
49
Deepak Goyal
.
Transformational Derivation of an Improved Alias Analysis Algorithm
51
--
77
Jules Desharnais
,
Bernhard Möller
.
Least Reflexive Points of Relations
79
--
120
Nils Klarlund
.
Relativizations for the Logic-Automata Connection
121
--
210
Alberto Pettorossi
,
Maurizio Proietti
,
Sophie Renault
.
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
211
--
235
Robert Paige
.
An NSF Proposal