Image from Amazon.com
Games and full abstraction for a functional metalanguage with recursive types
Material type:
TextLanguage: English Series: Distinguished Dissertations | Series Editor : C. J. van RijsbergenPublication details: Springer-Verlag c1998 LondonDescription: xiii, 189pISBN: - 3540762558
- 005.13 M139g
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | General Stacks | 005.13 M139g (Browse shelf(Opens below)) | Available | A136792 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur shelves, Collection: General Stacks Close shelf browser (Hides shelf browser)
| No cover image available |
|
|
|
|
|
|
||
| 005.13 H191 v.3 Handbook of programming languages [Vol.3-4] | 005.13 H392S THE SEMANTICS OF PROGRAMMING LANGUAGES | 005.13 L577s Hydraulic and compressible flow turbomachines | 005.13 M139g Games and full abstraction for a functional metalanguage with recursive types | 005.13 P611T TYPES AND PROGRAMMING LANGUAGES | 005.13 P611T TYPES AND PROGRAMMING LANGUAGES | 005.13 P611T TYPES AND PROGRAMMING LANGUAGES |
Includes Bibliographical References.
There are no comments on this title.
Log in to your account to post a comment.