Nazareth, Dieter The semantic treatment of polymorphic specification languages. (English) Zbl 1355.68058 Hanus, Michael (ed.) et al., Algebraic and logic programming. 5th international conference, ALP ’96, Aachen, Germany, September 25–27, 1996. Proceedings. Berlin: Springer (ISBN 3-540-61735-3/pbk). Lect. Notes Comput. Sci. 1139, 330-344 (1996). MSC: 68N30 68N18 68Q60 PDFBibTeX XMLCite \textit{D. Nazareth}, Lect. Notes Comput. Sci. 1139, 330--344 (1996; Zbl 1355.68058) Full Text: DOI
Nazareth, Dieter Specifying type systems. (English) Zbl 1355.68057 Hanus, Michael (ed.) et al., Algebraic and logic programming. 5th international conference, ALP ’96, Aachen, Germany, September 25–27, 1996. Proceedings. Berlin: Springer (ISBN 3-540-61735-3/pbk). Lect. Notes Comput. Sci. 1139, 314-329 (1996). MSC: 68N30 68N18 68Q60 PDFBibTeX XMLCite \textit{D. Nazareth}, Lect. Notes Comput. Sci. 1139, 314--329 (1996; Zbl 1355.68057) Full Text: DOI