설명
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