Add my talk on type-directed search