Type and Effect Systems
Subtitle: Behaviours for Concurrency
Publisher: World Scientific Publishing Company
Published: June 1999
Language: eng
Format: Hardcover
Number of pages: 253
ISBN-13: 9781860941542
Subjects: Algorithms & procedures; Data security & data encryption; Programming - Software Development; Software Development; Computers; Computers - General Information; Computer Books: General; Management Information Systems
First sentence: Type inference. The notion of types dates long back into the history of Computer Science.