default search action

combined dblp search
author search
venue search
publication search

ask others

Higher-Order and Symbolic Computation, Volume 16

> 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 16, Number 1-2, March-June 2003

Special Issue: Special Issue Dedicated to Bob Paige

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/DanvyHMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/DanvyHMP03
Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi:
Editorial: Special Issue Dedicated to Bob Paige. 5-6
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Paige03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Paige03
Bob Paige:
Research Retrospective. 7-13
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/MoorLW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/MoorLW03
Oege de Moor, David Lacey, Eric Van Wyk:
Universal Regular Path Queries. 15-35
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/LiuS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LiuS03
Yanhong A. Liu, Scott D. Stoller:
Dynamic Programming via Static Incrementalization. 37-62
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/LeonardH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LeonardH03
Elizabeth I. Leonard, Constance L. Heitmeyer:
Program Synthesis from Formal Requirements Specifications Using APTS. 63-92
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/RepsR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/RepsR03
Thomas W. Reps, Louis B. Rall:
Computational Divided Differencing and Divided-Difference Arithmetics. 93-149

Volume 16, Number 3, September 2003

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/FordM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/FordM03
Jonathan Ford, Ian A. Mason:
Formal Foundations of Operational Semantics. 161-202
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/LoidlRSHHKLMPPPT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/LoidlRSHHKLMPPPT03
Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder:
Comparing Parallel Functional Languages: Programming and Performance. 203-251
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GortzRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GortzRS03
Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen:
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus. 253-285

Volume 16, Number 4, December 2003

- view
  authority control:
- export record
  dblp key:
  - journals/lisp/GiacobazziM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/GiacobazziM03
Roberto Giacobazzi, Isabella Mastroeni:
Non-Standard Semantics for Program Slicing. 297-339
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/Lu03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/Lu03
Lunjin Lu:
Path Dependent Analysis of Logic Programs. 341-377
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/NanevskiBH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/NanevskiBH03
Aleksandar Nanevski, Guy E. Blelloch, Robert Harper:
Automatic Generation of Staged Geometric Predicates. 379-400

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.