TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS

by MARTIN MÜLLER, SUSUMU NISHIMURA

Published in International Journal of Foundations of Computer Science by World Scientific Pub Co Pte Lt.

2000 Volume 11, Issue 01, p29-63

application/pdf 4.5 MB `file_ohbgujgtivbjbfay5bbltetwj4`
application/pdf 175.7 kB `file_idlizhdv4jah7eakcsb2mjkbia`	www.coli.uni-saarland.de (web) web.archive.org (webarchive)

Preserved and Accessible

Type article-journal
Stage

published

Year 2000
Language en ^?

DOI 10.1142/s0129054100000041

Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L: 0129-0541

Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)

Cite This

BibTeX
CSL-JSON
MLA
Harvard

Lookup Links

oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar

Catalog Record
Revision: fd56c58e-4193-4fc3-9bc1-72adef638225
API URL: JSON

TYPE INFERENCE FOR FIRST-CLASS MESSAGES WITH FEATURE CONSTRAINTS release_chto4xh63bc3hkvaldsipkm4e4