A semantics for static type inference
Bookmark
ShareCopied to clipboardA semantics for static type inference is a book. It was written by Gordon Plotkin and published by LFCS, Dept. of Computer Science, University of Edinburgh in 1992.
Key facts
- author: Gordon Plotkin
- publication date: 1992
- book publisher: LFCS, Dept. of Computer Science, University of Edinburgh
- book series: LFCS report series
- book subjects: Type theory
See more factsExtract data
Download datasets about A semantics for static type inference:
Dataset of books series that contain A semantics for static type inference:
Dataset of book subjects that contain A semantics for static type inference:
"A semantics for static type inference" is one of the books by Gordon Plotkin, books by LFCS, Dept. of Computer Science, University of Edinburgh and 2,617,384 books in our database.
Related
Connected or similar to A semantics for static type inference: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.