Skip to main content
SpringerLink
Log in

Type inference using unification in computer algebra

  • Conference paper
  • First Online:
Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra (AAECC 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 307))

  • 161 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Comon, D. Lugiez and Ph. Sshnoebelen, Type Inference in Computer Algebra. To appear in the proceedings of ISSAC '87, Leipzig, DDR; LNCS, Springer-Verlag. A long version will appear as an internal LIFIA report.

    Google Scholar 

  2. A. Fortenbacher, R.D. Jenks, M. Lucks, R.S. Sutor, B.M. Trager and S.M. Watt, An Overview of the Scratchpad II Language and System. IBM Research Report, July 1985.

    Google Scholar 

  3. J. Calmet and D. Lugiez, A Knowledge-Based System for Computer Algebra. ACM-SIGSAM Bulletin, 22(1), pp. 7–13, 1987.

    Google Scholar 

  4. R. Milner, A Theory of Type Polymorphism in Programming. J.C.S.S. 17, pp348–375, 1978.

    Google Scholar 

  5. D. Bert and R. Echahed, Design and Implementation of a Generic, Logic and Functional Programming Language. Proc. of ESOP, LNCS 213, pp 119–132, 1985.

    Google Scholar 

  6. M. Schmidt-Schauss, Unification in Many Sorted Equational Theory. 8-th CADE Conference, LNCS 230, pp 538–552, 1986.

    Google Scholar 

  7. J.M. Hullot, Canonical Forms and Unification. 5th CAD, LNCS 87, pp 318–334, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIFIA, 46 Avenue Félix Viallet, 38031, Grenoble Cedex, France

    J. Calmet, H. Comon & D. Lugiez

Authors
  1. J. Calmet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. H. Comon
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. D. Lugiez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas Beth Michael Clausen

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Calmet, J., Comon, H., Lugiez, D. (1988). Type inference using unification in computer algebra. In: Beth, T., Clausen, M. (eds) Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra. AAECC 1986. Lecture Notes in Computer Science, vol 307. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039176

Download citation

  • DOI: https://doi.org/10.1007/BFb0039176

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19200-8

  • Online ISBN: 978-3-540-39133-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation