A type theory with pattern matching and partially defined functions
Bookmark
ShareCopied to clipboardA type theory with pattern matching and partially defined functions is a book. It was written by Yong Luo and published by Computing Laboratory, University of Kent in 2007.
Key facts
- author: Yong Luo
- publication date: 2007
- book publisher: Computing Laboratory, University of Kent
- book series: Technical report
- book subjects: Type theory
See more factsExtract data
Download datasets about A type theory with pattern matching and partially defined functions:
Dataset of books series that contain A type theory with pattern matching and partially defined functions:
Dataset of book subjects that contain A type theory with pattern matching and partially defined functions:
"A type theory with pattern matching and partially defined functions" is one of the books by Yong Luo, books by Computing Laboratory, University of Kent and 2,617,384 books in our database.
Related
Connected or similar to A type theory with pattern matching and partially defined functions: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.