Modular typechecking for hierarchically extensible datatypes and functions release_nskj43r7lfdahnv6idg7u2phfq

by Todd Millstein, Colin Bleckner, Craig Chambers

Published in ACM Transactions on Programming Languages and Systems by Association for Computing Machinery (ACM).

2004   Volume 26, p836-889

Archived Files and Locations

application/pdf  173.2 kB
file_e5osff5pnnhztlv2buwwqloxwe
www.cs.cornell.edu (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.cs.ucla.edu (web)
web.archive.org (webarchive)
+ 6 more URLs
application/pdf  665.6 kB
file_vhjjqgi2vfagph5egvb7cd27yq
web.archive.org (webarchive)
web.cs.ucla.edu (web)
web.archive.org (webarchive)
www.cs.ucla.edu (web)
www.cs.ucla.edu (web)
+ 1 more URLs
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2004-09-01
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0164-0925
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c8db8f98-54b0-4389-b75c-18ef94124a7f
API URL: JSON