Advertisement

LPG: A generic, logic and functional programming language

  • D. Bert
  • P. Drabik
  • R. Echahed
Systems Demonstrations
Part of the Lecture Notes in Computer Science book series (LNCS, volume 247)

References

  1. [1]
    D.Bert, R.Echahed, Design and Implementation of a generic, logic and functional Programming Language, Proc. of the European Symposium on Programming, Saarbrücken, LNCS 213, pp. 119–132.Google Scholar
  2. [2]
    R.Echahed, Prédicats et sous-types en LPG. Réalisation de la E-unification, RR IMAG-550-LIFIA-29, Juillet 85.Google Scholar
  3. [3]
    J.A.Goguen, R.M.Burstall, Introducing Institutions, Proceedings Logics and Programming Workshop, pp. 221–256, 1984.Google Scholar
  4. [4]
    J.A.Goguen, J.Meseguer, Equality, Types, Modules and Generics for Logic Programming, Proc. of International Conference on Logic Programming, Uppsala 1984.Google Scholar
  5. [5]
    E.Paul, Manuel OASIS, Note technique NT/PAA/CLC/LSC/959, CNET, Fév. 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • D. Bert
    • 1
  • P. Drabik
    • 1
  • R. Echahed
    • 1
  1. 1.LIFIASaint Martin d'Hères CedexFrance

Personalised recommendations