Translating KL-One from Interlisp to FranzLisp History Bibliography Translating KL-One from Interlisp to FranzLisp Authors: Finin, Tim Item type: paper-conference