Retrieving library functions by unifying types modulo linear isomorphism
Open Access
- 1 January 1993
- journal article
- Published by EDP Sciences in RAIRO - Theoretical Informatics and Applications
- Vol. 27 (6) , 523-540
- https://doi.org/10.1051/ita/1993270605231
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- On the unification problem for Cartesian closed categoriesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- FUDGETSPublished by Association for Computing Machinery (ACM) ,1993
- Provable isomorphisms of typesMathematical Structures in Computer Science, 1992
- Type isomorphisms in a type-assignment frameworkPublished by Association for Computing Machinery (ACM) ,1992
- Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism completePublished by Springer Nature ,1990
- Retrieving library identifiers via equational matching of typesPublished by Springer Nature ,1990
- Information retrieval and software reuseACM SIGIR Forum, 1989
- The Chalmers Lazy-ML CompilerThe Computer Journal, 1989
- Linear logicTheoretical Computer Science, 1987
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935