The Boyer benchmark meets linear logic (1993)

by H G Baker
Venue:ACM Sigplan Lisp Pointers