On the public citation graph

A semantics for λ &-early: a calculus with overloading and early binding

https://doi.org/10.1007/bfb0037101
0 signed · 34 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1994.1013openalex-snapshot
An Extension of System F with Subtyping
inferredcites →https://doi.org/10.1007/3-540-13346-1_7openalex-snapshot
Polymorphism is not set-theoretic
inferredcites →https://doi.org/10.1007/3-540-53982-4_14openalex-snapshot
Domains in a realizability framework
inferredcites →https://doi.org/10.1007/3-540-54415-1_73openalex-snapshot
An extension of system F with subtyping
inferredcites →https://doi.org/10.1007/3-540-54444-5_104openalex-snapshot
Towards a meaning of LIFE
inferredcites →https://doi.org/10.1007/3-540-55511-0_5openalex-snapshot
The equivalence of two semantic definitions for inheritance in object-oriented languages
inferredcites →https://doi.org/10.1007/bfb0019448openalex-snapshot
Modelling features of object-oriented languages in second order functional languages with subtypes
inferredcites →https://doi.org/10.1007/bfb0079432openalex-snapshot
Data types as lattices
inferredcites →https://doi.org/10.1016/0304-3975(92)90302-vopenalex-snapshot
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
inferredcites →https://doi.org/10.1016/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1016/0890-5401(90)90062-mopenalex-snapshot
A modest model of records, inheritance, and bounded quantification
inferredcites →https://doi.org/10.1017/s0956796800000198openalex-snapshot
A semantic basis for Quest
inferredcites →https://doi.org/10.1017/s0960129500001298openalex-snapshot
Constructive natural deduction and its ‘ω-set’ interpretation
inferredcites →https://doi.org/10.1109/lics.1989.39162openalex-snapshot
Type inference for record concatenation and multiple inheritance
inferredcites →https://doi.org/10.1145/117954.117964openalex-snapshot
A static type system for message passing
inferredcites →https://doi.org/10.1145/141471.141537openalex-snapshot
A calculus for overloaded functions with subtyping
inferredcites →https://doi.org/10.1145/141478.141537openalex-snapshot
A calculus for overloaded functions with subtyping
inferredcites →https://doi.org/10.1145/158511.158622openalex-snapshot
Formal parametric polymorphism
inferredcites →https://doi.org/10.1145/158511.158653openalex-snapshot
Object-oriented programming without recursive types
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/75277.75283openalex-snapshot
How to make ad-hoc polymorphism less ad hoc
inferredcites →https://doi.org/10.1145/75277.75284openalex-snapshot
Type checking records and variants in a natural extension of ML
inferredcites →https://doi.org/10.1145/96709.96721openalex-snapshot
Inheritance is not subtyping
inferredcites →https://doi.org/10.1145/99370.99392openalex-snapshot
F-bounded polymorphism for object-oriented programming

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/inco.1999.2802openalex-snapshot
Basic Theory of F-Bounded Quantification
inferred← citeshttps://doi.org/10.1006/inco.2001.2943openalex-snapshot
Foundations for Extensible Objects with Roles
inferred← citeshttps://doi.org/10.1006/inco.2001.3128openalex-snapshot
Dependent Types with Subtyping and Late-Bound Overloading
inferred← citeshttps://doi.org/10.1007/3-540-45504-3_13openalex-snapshot
Constructive Foundations for Featherweight Java
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_100openalex-snapshot
A normalizing calculus with overloading and subtyping
inferred← citeshttps://doi.org/10.1007/978-1-4471-3564-7_19openalex-snapshot
F ≤ & : integrating parametric and “ad hoc” second order polymorphism
inferred← citeshttps://doi.org/10.1007/bf01214916openalex-snapshot
Integration of parametric and “ad hoc” second order polymorphism in a calculus with subtyping
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00071-4openalex-snapshot
A meta-language for typed object-oriented languages
inferred← citeshttps://doi.org/10.1051/ita/2009008openalex-snapshot
Dynamic overloading with copy semantics in object-oriented languages: a formal account
inferred← citeshttps://doi.org/10.3233/fi-1995-22124openalex-snapshot
PARAMETRIC AND TYPE-DEPENDENT POLYMORPHISM
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.