Vous pouvez vous abonner à nos annonces de séminaires: http://cambium.inria.fr/seminar.html Nos séminaires sont accessibles en ligne en direct: https://webconf.math.cnrs.fr/b/fra-ryy-fjn S É M I N A I R E ______ __ _ / ____/___ _____ ___ / /_ (_)_ ______ ___ / / / __ `/ __ `__ \/ __ \/ / / / / __ `__ \ / /___/ /_/ / / / / / / /_/ / / /_/ / / / / / / \____/\__,_/_/ /_/ /_/_.___/_/\__,_/_/ /_/ /_/ I N R I A - Paris 2 rue Simone Iff (ou: 41 rue du Charolais) Salle A215, bâtiment A Lundi 18 octobre, 10h30 --------------- Gabriel Radanne --------------- Inria ================================= Fast Indexing for Search by Types ================================= We present a function retrieval system for OCaml. By combining unification modulo isomorphism and smart indexing techniques, it can efficiently manage a large database of libraries. In particular, a novel notion of feature allows 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.