PFP: A Probabilistic Functional Programming Library for Haskell (2006)

Escape from Zurg: An Exercise in Logic Programming

What Is a Worldview? (2001)

The Joy of Cryptography

Mutation Testing of Functional Programming Languages

Bandit based Monte-Carlo planning

Steps Toward Robust Artificial Intelligence