Adapting combinator and SECD machines to display snapshots of functional computations Ian ToynColin Runciman Regular Papers Pages: 339 - 363
Inserting injection operations to denotational specifications Masato Takeichi Regular Papers Pages: 365 - 381
A list processing language TAO with multiple programming paradigms Ikuo TakeuchiHiroshi OkunoNobuyasu Ohsato Regular Papers Pages: 401 - 444
Report on the Third International Conference on Logic Programming Taisuke Sato Conference Reports Pages: 445 - 446