×

Found 2 Documents (Results 1–2)

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
Full Text: DOI

Filter Results by …

Author

Main Field

Software