Semantic types and approximation for Featherweight Java (Q387991)

From MaRDI portal
Revision as of 16:06, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Semantic types and approximation for Featherweight Java
scientific article

    Statements

    title
    Semantic types and approximation for Featherweight Java (English)
    0 references
    author
    Reuben N. S. Rowe
    0 references
    S. J. van Bakel
    0 references
    publication date
    18 December 2013
    0 references
    zbMATH Keywords
    Featherweight Java
    0 references
    intersection types
    0 references
    approximation semantics
    0 references
    derivation reduction
    0 references
    strong normalisation
    0 references
    describes a project that uses
    Ruby
    0 references
    Haskell
    0 references
    ML
    0 references
    Python
    0 references
    Featherweight Java
    0 references
    cites work
    Q4715213
    0 references
    Q3332229
    0 references
    Operations on records
    0 references
    Q4246944
    0 references
    Q4385532
    0 references
    Q2779257
    0 references
    Q4128540
    0 references
    Q4322072
    0 references
    Q3122694
    0 references
    Q4414731
    0 references
    Q4855345
    0 references
    Q3817590
    0 references
    Q4255509
    0 references
    Q4335853
    0 references
    Q4436035
    0 references

    Identifiers

    zbMATH DE Number
    6239200
    0 references
    OpenAlex ID
    W2087707390
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q387991&oldid=38328817"
    Powered by MediaWiki