The new Implementation of ALF. In The informal proceeding from the logical framework workshop at B*astad (1992)

by Lena Magnusson