Volume 16, Number 1-2, March-June 2003 Special Issue:
Special Issue Dedicated to Bob Paige
Volume 16, Number 3, September 2003
- Jonathan Ford, Ian A. Mason:
Formal Foundations of Operational Semantics.
- 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.
- Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen:
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus.
Volume 16, Number 4, December 2003
Last update Sat May 25 16:34:22 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page