Descripción
This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, type theory, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and distributed computation.
Detalles del libro
Formato
Tapa dura
Páginas
313 páginas
Idioma
Inglés
Publicado
jun. 15, 1998
Editorial
World Scientific Publishing Company
ISBN-10
9810233841
ISBN-13
9789810233846