Abstract
In this book we have shown at length how isomorphisms of types can be used either in collaboration with a human user to perform library searches based on types or to improve existing type-checkers. While the only other work that tries to incorporate type isomorphisms at the type-checker level is [Nip90], the library searches issue is probably the most active research topic today. This is clearly related with the rapidly growing size of programs, systems and libraries used in the daily activity by programmers and also by simple users.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1995 Birkhäuser Boston
About this chapter
Cite this chapter
Di Cosmo, R. (1995). Related works, Future perspectives. In: Isomorphisms of Types. Progress in Theoretical Computer Science. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-2572-0_7
Download citation
DOI: https://doi.org/10.1007/978-1-4612-2572-0_7
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-7585-5
Online ISBN: 978-1-4612-2572-0
eBook Packages: Springer Book Archive