Browse
Search
Explore more content
file.
pdf
(1.74 MB)
File info
This item contains files with download restrictions
Fullscreen
Type checking and type deduction techniques for polymorphic programming languages
Cite
Download
(1.74 MB)
Share
Embed
journal contribution
posted on 2003-01-01, 00:00
authored by
Paola Giannini
Computer Science Department
History
Publisher Statement
All Rights Reserved
Date
2003-01-01
Usage metrics
Categories
Information and Computing Sciences not elsewhere classified
Keywords
Programming languages (Electronic computers).
Lambda calculus.
Licence
In Copyright
Exports
Select an option
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC