Yes, i was lucky enough to be in the audience at St Andrews in about 1986 when he came to talk to us about parallel combinator reduction, G-machines and Alice.

Amazing enthusiasm and application. Amazing guy.