説明
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.
本の詳細
形式
ハードカバー
ページ数
313ページ
言語
英語
公開されました
6月 15, 1998
出版社
World Scientific Publishing Company
ISBN-10
9810233841
ISBN-13
9789810233846