Retrieving library functions by unifying types modulo linear isomorphism
From MaRDI portal
Publication:4304554
DOI10.1051/ita/1993270605231zbMath0809.68063OpenAlexW136786770MaRDI 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
Related Items
On the unification problem for Cartesian closed categories, An algebraic theory for web service contracts, Remarks on isomorphisms in typed lambda calculi with empty and sum types, Contract-based discovery of Web services modulo simple orchestrators, Automorphisms of types and their applications, Efficient and flexible matching of recursive types
Uses Software
Cites Work