michaelm@bcsaic.UUCP (03/24/87)
I have a copy of Technical Report #182 from Indiana University, entitled "Transliterating Prolog into Scheme," by Matthias Felleisen (1985). In section 5, he refers to some details regarding "in-line coding of the unification algorithm...[achieved] with the additon of one more syntactic extension." The extension is supposedly exhibited in the appendix. However, my copy of the paper has no appendix. Does anyone know where these "details" are published? Felleisen, are you out there? -- Mike Maxwell Boeing Advanced Technology Center arpa: michaelm@boeing.com uucp: uw-beaver!uw-june!bcsaic!michaelm