▽CMU: CS TECHNICAL REPORT COLLECTION: 2004
●11/07 07:00
J. Dunfield, Frank Pfenning
Superseded by CMU-CS-04-117R
CMU-CS-04-117R
Tridirectional Typechecking
Jana Dunfield, Frank Pfenning
Abstract,.ps, .pdf
Supersedes CMU-CS-04 -117

▽IEEE Transactions on Mobile Computing
●03/03 13:14


▽IEEE Computer magazine
●03/02 23:19
The Community for Technology Leaders
Toggle navigation
Libraries & Institutions
About
Resources
RSS Feeds
Newsletter
Terms of Use
Peer Review
Subscribe
LOGIN
CSDL Home Computer
SELECT VOLUME / YEAR
2018 - vol. 51
2017 - vol. 50
2016 - vol. 49
2015 - vol. 48
2014 - vol. 47
2013 - vol. 46
2012 - vol. 45
2011 - vol. 44
2010 - vol. 43
2009 - vol. 42
2008 - vol. 41
2007 - vol. 40
2006 - vol. 39
2005 -

▽IEEE Transactions on Parallel and Distributed Systems
●02/28 10:22
The Community for Technology Leaders
Toggle navigation
Libraries & Institutions
About
Resources
RSS Feeds
Newsletter
Terms of Use
Peer Review
Subscribe
LOGIN
CSDL Home IEEE Transactions on Parallel & Distributed Systems
SELECT VOLUME / YEAR
PrePrints
Preprints are author-submitted, peer-reviewed, and accepted articles, which have not yet been edited by IEEE staff, and are posted to the Early Acces

▽USENIX - Publications - Proceedings
●06/22 18:19
This site is no longer being maintained. Please see the page on our New Site.
Last changed: 28 Feb. 2012 mpn