An edition of Type and effect systems (1999)

Type and Effect Systems

Behaviours for Concurrency

by , , and

Cover of: Type and Effect Systems by Torben Amtoft, Flemming Nielson, Hanne Riis Nielson, Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 16, 2024 | History
Edit
An edition of Type and effect systems (1999)

Type and Effect Systems

Behaviours for Concurrency

by , , and

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
World Scientific Publishing Company
Language
English
Pages
253

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer algorithms, Verification, Computer software, Concurrent engineering, Chaotic behavior in systems, System analysis, Multitasking (Computer science)

Showing 2 featured editions. View all 2 editions?

Edition Availability
Cover of: Type and Effect Systems
Type and Effect Systems: Behaviors for Concurrency
1999, World Scientific Publishing Co Pte Ltd
in English
Libraries near you: WorldCat
Cover of: Type and Effect Systems
Type and Effect Systems: Behaviours for Concurrency
June 1999, World Scientific Publishing Company
Hardcover in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

First Sentence

"Type inference. The notion of types dates long back into the history of Computer Science."

The Physical Object

Format
Hardcover
Number of pages
253
Dimensions
8.9 x 6.4 x 0.8 inches
Weight
1.1 pounds

ID Numbers

Open Library
OL8627960M
Internet Archive
typeeffectsystem00amto
ISBN 10
1860941540
ISBN 13
9781860941542
OCLC/WorldCat
41339334
Goodreads
2923178

Source records

Internet Archive item record
Better World Books record
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
July 16, 2024 Edited by MARC Bot import existing book
August 17, 2023 Edited by ImportBot import existing book
July 7, 2019 Edited by MARC Bot import existing book
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 30, 2008 Created by an anonymous user Imported from amazon.com record