Logical Secrets.

Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy

Browse the full ICLP paper archive.