Chapter PDF
References
D. Bert, R. Echahed, Design and Implementation of a Generic, Logic and Functional Programming Language, Proc. of the European Symposium on Programming (ESOP'86), LNCS 213, Springer, 1986, pp. 119–132
R. Echahed, Prédicats et sous-types en LPG. Réalisation de la E-unification, RR-IMAG-550-LIFIA-29, July 1985.
J.A. Goguen, J. Meseguer, Introducing institutions, Proc. Logic for Programs, LNCS 164, Springer, 1984, pp. 115–125
J.A. Goguen, J. Meseguer, Equality, Types, Modules and (Why not?) Generics for Logic Programming, Proc. Int. Conf. on Logic Programming, Uppsala, 1984, pp. 115–125 (also in J. Logic Programming, Vol.1 n.2, 1984, pp.179–210)
E. Paul, Manuel OASIS, Note technique NT/PAA/CLC/LSC/959, CNET, 1985
T. Teitelbaum, Th. Reps, Synthesizer Generator (2nd edition), Departement of Computer Science, Cornell University, Ithaca, 1987
D.E. Knuth, P.B. Bendix, Simple word problem in universal algebra, in Computable problems in abstract algebra, J. Leech (ed.), Pergamon Press, 1970, pp. 263–297.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bert, D. et al. (1988). LPG: A generic, logic and functional programming language. In: Ganzinger, H. (eds) ESOP '88. ESOP 1988. Lecture Notes in Computer Science, vol 300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19027-9_26
Download citation
DOI: https://doi.org/10.1007/3-540-19027-9_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19027-1
Online ISBN: 978-3-540-38941-5
eBook Packages: Springer Book Archive