BibTeX
CSL-JSON
MLA
Harvard
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
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar