책 세부 정보
형식
하드커버
페이지
256
언어
영어
출판됨
Dec 1, 2000
출판사
Intellect Ltd
ISBN-10
1841500240
ISBN-13
9781841500249
설명
Covers all aspects of functional programming, both theoretical and practical, to provide a coherent overview of research's most recent developments. This book language design, proof and transformation, semantics and models, implementation, applications, type systems, parallelismand distribution, performance modelling and profiling, education, real time and reactive programming, programming methodologies. The volume brings together many leading practitioners and contextualises their contributions through a substantial introduction, appropriate overviews and summaries, and a rich bibliography and index.