Run-time type computations in the Warren abstract machine - Beierle, Christoph 1954-; Meyer, Gregor (Fernuniv., Gesamthochschule, Fachbereich Informatik, 1993)