Comparing Parallel Functional Languages: Programming and Performance H.-W. LoidlF. RubioP.W. Trinder OriginalPaper Pages: 203 - 251
Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus Inge Li GørtzSigne ReussMorten Heine Sørensen OriginalPaper Pages: 253 - 285