Programming languages : implementations, logics and programs : Proceedings /

Bibliographic Details
Corporate Author: PLILP '95 Utrecht, The Netherlands
Other Authors: Hermenegildo, Manuel (ed.), Swierstra, S. Doaitse (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1995.
Series:Lecture notes in computer science ; v. 982
LNCS ; v. 982
Subjects: