ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 02:15 - 02:30 at ML - Inference + Short talks Chair(s): Ohad Kammar

We present a function retrieval system for OCaml. By combining unification modulo isomorphism and smart indexing techniques, it can efficiently manage a large database. In particular, A novel notion of feature allow to overcome in practice the efficiency limitations imposed by rich unification, as informed by metrics collected on concrete queries. This talk will present both practical and formal aspects of our tool for search by type, along with future plans.

Paper (mlworkshop.pdf)122KiB
Slides (talk.pdf)367KiB