ExLibris header image
SFX Logo
Source:

Types and Programming Languages [0-262-16209-1; 0-262-25681-9] Pierce, Benjamin C.

yr:2002 pg:24cm -24cm

Collapse list of basic services Basic
Sorry, no full text available...
Please use the document delivery service (see below)  
Document delivery
Request document via Library/Bibliothek GO
Citation information
Check Google Book Search GO
Users interested in this article also expressed an interest in the following:
1. Cardone, F., F. "BENJAMIN C. PIERCE (ED.) * Advanced Topics in Types and Programming Languages. The MIT Press (2005) ISBN 0-262-16228-8. {pound}39.95. 574 pp. Hardbound." The computer journal 49.1: 130-131. Link to SFX for this item
2. Castor, F. Programming Languages. 2016. Link to SFX for this item
3. Kleinschmager, S. Can static type systems speed up programming? An experimental evaluation of static and dynamic type systems. 2013. Link to SFX for this item
4. Knowles, K. "Hybrid type checking." ACM transactions on programming languages and systems 32.2 (2010): 6-34. Link to SFX for this item
5. NIELSON, F. "THE TENSOR PRODUCT IN WADLER ANALYSIS OF LISTS." Lecture Notes in Computer Science 582 (1992): 351-370. Link to Full Text for this item Link to SFX for this item
6. Erlingsson, U. "IRM enforcement of Java stack inspection." Proceeding 2000 IEEE Symposium on Security and Privacy. S&P 2000 2000. 246-255. Link to Full Text for this item Link to SFX for this item
7. Wu, C s. A comprehensive introduction to object-oriented programming with Java. 2008. Link to SFX for this item
8. Schuetze, H. Foundations of statistical natural language processing. 1999. 277-279. Link to SFX for this item
9. Subrahmanyam, R. "Type systems in programming languages." 2002. 801-839. Link to SFX for this item
10. Harper, R. Practical Foundations for Programming Languages. 2016. Link to SFX for this item
11. Barber, D. Bayesian reasoning and machine learning. Cambridge University Press, 2011. Link to SFX for this item
12. Ji, M. Phraseology in corpus-based translation studies /. 2010. Link to SFX for this item
13. Gippert, J. Essentials of language documentation. 2006. Link to SFX for this item
14. Yang, Yang R. "An Evaluation of Statistical Approaches to Text Categorization." Information retrieval 1.1 (1999): 69-90. Link to Full Text for this item Link to SFX for this item
View More...
View Less...
Select All Clear All

Expand list of advanced services Advanced
A service provided by the Library of the Wissenschaftspark Albert Einstein, Potsdam, Germany.
© 2005 SFX by Ex Libris Inc.