Retrieving library functions by unifying types modulo linear isomorphism
From MaRDI portal
Publication:4304554
DOI10.1051/ita/1993270605231zbMath0809.68063MaRDI QIDQ4304554
Publication date: 12 September 1994
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/92464
68P20: Information storage and retrieval of data
Related Items
On the unification problem for Cartesian closed categories, An algebraic theory for web service contracts, Contract-based discovery of Web services modulo simple orchestrators, Efficient and flexible matching of recursive types, Automorphisms of types and their applications, Remarks on isomorphisms in typed lambda calculi with empty and sum types
Uses Software
Cites Work