A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Several Types of Types in Programming Languages
[chapter]
2016
IFIP Advances in Information and Communication Technology
Preserved Fulltext
The concept of types as we use it today has very little [ to do ] with how types where perceived by Russell or Church . For them types were a restriction mechanism .
doi:10.1007/978-3-319-47286-7_15
fatcat:d4rsg27purbqngr5kcfhlnvl5y