Journal: Higher-Order and Symbolic Computation

Volume 16, Issue 3

161 -- 202Jonathan Ford, Ian A. Mason. Formal Foundations of Operational Semantics
203 -- 251Hans-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
253 -- 285Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen. Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus