On the public citation graph
Operations on records
0 signed · 198 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-06859-7_148openalex-snapshot
Towards a theory of type structure
inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
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)90044-iopenalex-snapshot
The semantics of second-order lambda calculus
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50013-5openalex-snapshot
Type Systems for Programming Languages
inferredcites →https://doi.org/10.1016/s0049-237x(08)70843-7openalex-snapshot
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
inferredcites →https://doi.org/10.1109/lics.1988.5099openalex-snapshot
A modest model of records, inheritance and bounded quantification
inferredcites →https://doi.org/10.1109/lics.1988.5111openalex-snapshot
Corrigendum: complete type interference for simple objects
inferredcites →https://doi.org/10.1109/lics.1989.39162openalex-snapshot
Type inference for record concatenation and multiple inheritance
inferredcites →https://doi.org/10.1109/lics.1989.39166openalex-snapshot
Inheritance and explicit coercion
inferredcites →https://doi.org/10.1145/319838.319872openalex-snapshot
A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)
inferredcites →https://doi.org/10.1145/365813.365819openalex-snapshot
SIMULA: an ALGOL-based simulation language
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/62678.62700openalex-snapshot
Type inference in a database programming language
inferredcites →https://doi.org/10.1145/62678.62702openalex-snapshot
ML with extended pattern matching and subtypes
inferredcites →https://doi.org/10.1145/67544.66931openalex-snapshot
Database programming in Machiavelli---a polymorphic language with static type inference
inferredcites →https://doi.org/10.1145/75277.75284openalex-snapshot
Type checking records and variants in a natural extension of ML
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/app.1994.070530211openalex-snapshot
Analysis of the pullout of single fibers from low‐density polyethylene
inferred← citeshttps://doi.org/10.1002/j.1096-9942.1995.tb00016.xopenalex-snapshot
An Imperative Object Calculus
inferred← citeshttps://doi.org/10.1006/inco.1994.1013openalex-snapshot
An Extension of System F with Subtyping
inferred← citeshttps://doi.org/10.1006/inco.1994.1055openalex-snapshot
Bounded Quantification Is Undecidable
inferred← citeshttps://doi.org/10.1006/inco.1995.1033openalex-snapshot
A Calculus for Overloaded Functions with Subtyping
inferred← citeshttps://doi.org/10.1006/inco.1996.0024openalex-snapshot
A Theory of Primitive Objects: Untyped and First-Order Systems
inferred← citeshttps://doi.org/10.1006/inco.2001.2943openalex-snapshot
Foundations for Extensible Objects with Roles
inferred← citeshttps://doi.org/10.1007/11561163_10openalex-snapshot
Program Generation and Components
inferred← citeshttps://doi.org/10.1007/11741060_5openalex-snapshot
Typed Compilation Against Non-manifest Base Classes
inferred← citeshttps://doi.org/10.1007/3-540-44929-9_29openalex-snapshot
An Interpretation of Typed Concurrent Objects in the Blue Calculus
inferred← citeshttps://doi.org/10.1007/3-540-44988-4_19openalex-snapshot
Composing Abstractions of Coloured Petri Nets
inferred← citeshttps://doi.org/10.1007/3-540-45309-1_18openalex-snapshot
The Recursive Record Semantics of Objects Revisited
inferred← citeshttps://doi.org/10.1007/3-540-46425-5_21openalex-snapshot
A 3-Part Type Inference Engine
inferred← citeshttps://doi.org/10.1007/3-540-48168-0_30openalex-snapshot
Anti-Symmetry of Higher-Order Subtyping
inferred← citeshttps://doi.org/10.1007/3-540-48340-3_27openalex-snapshot
An Algebraic Approach to Knowledge Representation
inferred← citeshttps://doi.org/10.1007/3-540-52592-0_59openalex-snapshot
Type inference for action semantics
inferred← citeshttps://doi.org/10.1007/3-540-53982-4_24openalex-snapshot
Type inference with inequalities
inferred← citeshttps://doi.org/10.1007/3-540-54415-1_73openalex-snapshot
An extension of system F with subtyping
inferred← citeshttps://doi.org/10.1007/3-540-55511-0_5openalex-snapshot
The equivalence of two semantic definitions for inheritance in object-oriented languages
inferred← citeshttps://doi.org/10.1007/3-540-55599-4_93openalex-snapshot
Extensibility and reuse of object-oriented synchronization components
inferred← citeshttps://doi.org/10.1007/3-540-56868-9_38openalex-snapshot
LAMBDALG: Higher order algebraic specification language
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_101openalex-snapshot
A theory of primitive objects
inferred← citeshttps://doi.org/10.1007/3-540-57887-0_102openalex-snapshot
Programming objects with ML-ART an extension to ML with abstract and record types
inferred← citeshttps://doi.org/10.1007/3-540-58027-1_30openalex-snapshot
An operational semantics for TOOPLE: A statically-typed object-oriented programming language
inferred← citeshttps://doi.org/10.1007/3-540-58555-9_103openalex-snapshot
OPUS: a formal approach to object-orientation
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_214openalex-snapshot
An imperative object calculus
inferred← citeshttps://doi.org/10.1007/3-540-60156-2_11openalex-snapshot
Theories = signatures + propositions used as types
inferred← citeshttps://doi.org/10.1007/3-540-62222-5_33openalex-snapshot
Querying semi-structured data
inferred← citeshttps://doi.org/10.1007/3-540-62688-3_28openalex-snapshot
Matching constraints for the Lambda Calculus of Objects
inferred← citeshttps://doi.org/10.1007/3-540-63165-8_231openalex-snapshot
Labelled reductions, runtime errors, and operational subsumption
inferred← citeshttps://doi.org/10.1007/978-0-387-35520-7_12openalex-snapshot
A Practical Approach to Incremental Specification
inferred← citeshttps://doi.org/10.1007/978-0-387-35562-7_1openalex-snapshot
Piccola — A Small Composition Language
inferred← citeshttps://doi.org/10.1007/978-0-387-35672-3_2openalex-snapshot
Generic H∀SKELL, Specifically
inferred← citeshttps://doi.org/10.1007/978-1-4471-3016-1_12openalex-snapshot
OPUS: a Calculus for Modelling Object-Oriented Concepts
inferred← citeshttps://doi.org/10.1007/978-3-031-21037-2_9openalex-snapshot
A Calculus with Recursive Types, Record Concatenation and Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-540-27864-1_26openalex-snapshot
Generalized Records and Spatial Conjunction in Role Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-30175-2_11openalex-snapshot
A Fresh Calculus for Name Management
inferred← citeshttps://doi.org/10.1007/978-3-540-39656-7_14openalex-snapshot
A Calculus for Modeling Software Components
inferred← citeshttps://doi.org/10.1007/978-3-540-45070-2_10openalex-snapshot
A Nominal Theory of Objects with Dependent Types
inferred← citeshttps://doi.org/10.1007/978-3-540-68624-8_4openalex-snapshot
Operational Semantics of Ada Ravenscar
inferred← citeshttps://doi.org/10.1007/978-3-642-21691-6_19openalex-snapshot
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-59623-0_11openalex-snapshot
A Calculus for Overloaded Functions with Subtyping
inferred← citeshttps://doi.org/10.1007/978-3-662-49498-1_4openalex-snapshot
Practical Optional Types for Clojure
inferred← citeshttps://doi.org/10.1007/978-94-010-0413-8_7openalex-snapshot
Naïve Computational Type Theory
inferred← citeshttps://doi.org/10.1007/bf02946496openalex-snapshot
Another definition of order-sorted algebra
inferred← citeshttps://doi.org/10.1007/bfb0014562openalex-snapshot
System F with width-subtyping and record updating
inferred← citeshttps://doi.org/10.1007/bfb0019448openalex-snapshot
Modelling features of object-oriented languages in second order functional languages with subtypes
inferred← citeshttps://doi.org/10.1007/bfb0030619openalex-snapshot
Subtyping constraints for incomplete objects
inferred← citeshttps://doi.org/10.1007/bfb0053058openalex-snapshot
An application framework for module composition tools
inferred← citeshttps://doi.org/10.1007/bfb0053572openalex-snapshot
From classes to objects via subtyping
inferred← citeshttps://doi.org/10.1007/s00200-003-0129-1openalex-snapshot
An Object-oriented Interpretation of the EAT System
inferred← citeshttps://doi.org/10.1007/s11083-010-9152-6openalex-snapshot
Nearlattices with an Overriding Operation
inferred← citeshttps://doi.org/10.1016/0167-6423(94)00005-0openalex-snapshot
A theory of qualified types
inferred← citeshttps://doi.org/10.1016/0167-6423(94)00014-xopenalex-snapshot
Static typing for object-oriented programming
inferred← citeshttps://doi.org/10.1016/0169-7552(94)00032-oopenalex-snapshot
A formal semantics for the ODP computational model
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00037-jopenalex-snapshot
Divergence of F⩽ type checking
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00086-0openalex-snapshot
Static correctness of hierarchical procedures
inferred← citeshttps://doi.org/10.1016/0890-5401(91)90055-7openalex-snapshot
Inheritance as implicit coercion
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.08.002openalex-snapshot
EVL: A Typed Higher-order Functional Language for Events
inferred← citeshttps://doi.org/10.1016/j.ic.2004.01.001openalex-snapshot
Higher-order subtyping and its decidability
inferred← citeshttps://doi.org/10.1016/j.infsof.2013.09.002openalex-snapshot
A hybrid class- and prototype-based object model to support language-neutral structural intercession
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.02.006openalex-snapshot
A descriptive type foundation for RDF Schema
inferred← citeshttps://doi.org/10.1016/j.jlap.2013.05.004openalex-snapshot
Session types for safe Web service orchestration
inferred← citeshttps://doi.org/10.1016/j.scico.2004.11.005openalex-snapshot
A form-based meta-model for software composition
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.022openalex-snapshot
A calculus for reasoning about software composition
inferred← citeshttps://doi.org/10.1016/j.tcs.2013.08.017openalex-snapshot
Semantic Types and Approximation for Featherweight Java
inferred← citeshttps://doi.org/10.1016/s0890-5401(03)00062-2openalex-snapshot
Typed operational semantics for higher-order subtyping
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80065-3openalex-snapshot
A Core Calculus of Classes and Objects
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80805-3openalex-snapshot
Alias types for “environment-aware” computations
inferred← citeshttps://doi.org/10.1017/s0956796800000113openalex-snapshot
Type inference with simple subtypes
inferred← citeshttps://doi.org/10.1017/s0956796800001039openalex-snapshot
A paradigmatic object-oriented programming language: Design, static typing and semantics
inferred← citeshttps://doi.org/10.1017/s0956796800001040openalex-snapshot
Simple type-theoretic foundations for object-oriented programming
inferred← citeshttps://doi.org/10.1017/s0956796816000320openalex-snapshot
No value restriction is needed for algebraic effects and handlers
inferred← citeshttps://doi.org/10.1017/s0960129500070043openalex-snapshot
Higher-order intersection types and multiple inheritance
inferred← citeshttps://doi.org/10.1017/s0960129505005086openalex-snapshot
Anti-symmetry of higher-order subtyping and equality by subtyping
inferred← citeshttps://doi.org/10.1017/s096012959600223xopenalex-snapshot
Intersection types and bounded polymorphism
inferred← citeshttps://doi.org/10.1051/ita/1993270302211openalex-snapshot
CPO-models for second order lambda calculus with recursive types and subtyping
inferred← citeshttps://doi.org/10.1109/69.868907openalex-snapshot
View operations on objects with roles for a statically typed database language
inferred← citeshttps://doi.org/10.1109/iccl.1992.185492openalex-snapshot
Modularity meets inheritance
inferred← citeshttps://doi.org/10.1109/icdew.2007.4401019openalex-snapshot
Service Description and Analysis From a Type Theoretic Approach
inferred← citeshttps://doi.org/10.1109/itcc.2002.1000406openalex-snapshot
Mask and multiple format: two notions for a progressive and adapted access to information
inferred← citeshttps://doi.org/10.1109/iwooos.1992.252979openalex-snapshot
OMOS-an object server for program execution
inferred← citeshttps://doi.org/10.1109/lics.1993.287603openalex-snapshot
A lambda calculus of objects and method specialization
inferred← citeshttps://doi.org/10.1109/lics.2003.1210073openalex-snapshot
A constraint-based presentation and generalization of rows
inferred← citeshttps://doi.org/10.1109/nafips.2002.1018124openalex-snapshot
FuzzyCLIPS and neuro-fuzzy term rewriting for power network control
inferred← citeshttps://doi.org/10.1109/pnpm.1991.238777openalex-snapshot
Modelling layered protocols in LOOPN
inferred← citeshttps://doi.org/10.1145/1018203.1018206openalex-snapshot
Extensible objects without labels
inferred← citeshttps://doi.org/10.1145/1097002.1097004openalex-snapshot
Modeling, querying and reasoning about OLAP databases
inferred← citeshttps://doi.org/10.1145/1159803.1159836openalex-snapshot
Extensible programming with first-class cases
inferred← citeshttps://doi.org/10.1145/117954.117964openalex-snapshot
A static type system for message passing
inferred← citeshttps://doi.org/10.1145/130069.130135openalex-snapshot
A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components
inferred← citeshttps://doi.org/10.1145/141471.141537openalex-snapshot
A calculus for overloaded functions with subtyping
inferred← citeshttps://doi.org/10.1145/141478.141537openalex-snapshot
A calculus for overloaded functions with subtyping
inferred← citeshttps://doi.org/10.1145/141936.141938openalex-snapshot
Interfaces and specifications for the Smalltalk-80 collection classes
inferred← citeshttps://doi.org/10.1145/143165.143200openalex-snapshot
A compilation method for ML-style polymorphic record calculi
inferred← citeshttps://doi.org/10.1145/143165.143202openalex-snapshot
Typing record concatenation for free
inferred← citeshttps://doi.org/10.1145/143165.143228openalex-snapshot
Bounded quantification is undecidable
inferred← citeshttps://doi.org/10.1145/143165.143230openalex-snapshot
PER models of subtyping, recursive types and higher-order polymorphism
inferred← citeshttps://doi.org/10.1145/1557898.1557901openalex-snapshot
Semantic predicate types and approximation for class-based object oriented programming
inferred← citeshttps://doi.org/10.1145/158511.158650openalex-snapshot
Safe type checking in a statically-typed object-oriented programming language
inferred← citeshttps://doi.org/10.1145/158511.158653openalex-snapshot
Object-oriented programming without recursive types
inferred← citeshttps://doi.org/10.1145/158511.158657openalex-snapshot
A constructive logic of multiple subtyping
inferred← citeshttps://doi.org/10.1145/162754.162810openalex-snapshot
Method reuse in typed object-oriented languages
inferred← citeshttps://doi.org/10.1145/165854.165865openalex-snapshot
Safe and decidable type checking in an object-oriented language
inferred← citeshttps://doi.org/10.1145/174675.176926openalex-snapshot
Manifest types, modules, and separate compilation
inferred← citeshttps://doi.org/10.1145/191080.191083openalex-snapshot
Typechecking and modules for multi-methods
inferred← citeshttps://doi.org/10.1145/2103786.2103798openalex-snapshot
Row-based effect types for database integration
inferred← citeshttps://doi.org/10.1145/218570.218571openalex-snapshot
Typechecking and modules for multimethods
inferred← citeshttps://doi.org/10.1145/218570.218572openalex-snapshot
A polymorphic record calculus and its compilation
inferred← citeshttps://doi.org/10.1145/227604.227609openalex-snapshot
Polymorphism and type inference in database programming
inferred← citeshttps://doi.org/10.1145/232627.232652openalex-snapshot
Enriching the lambda calculus with contexts
inferred← citeshttps://doi.org/10.1145/2384616.2384674openalex-snapshot
Gradual typing for first-class classes
inferred← citeshttps://doi.org/10.1145/2398857.2384674openalex-snapshot
Gradual typing for first-class classes
inferred← citeshttps://doi.org/10.1145/2594291.2594313openalex-snapshot
Optimal inference of fields in row-polymorphic records
inferred← citeshttps://doi.org/10.1145/2666356.2594313openalex-snapshot
Optimal inference of fields in row-polymorphic records
inferred← citeshttps://doi.org/10.1145/2837614.2837652openalex-snapshot
A theory of effects and resources: adjunction models and polarised calculi
inferred← citeshttps://doi.org/10.1145/2908080.2908115openalex-snapshot
Types from data: making structured data first-class citizens in F#
inferred← citeshttps://doi.org/10.1145/2914770.2837652openalex-snapshot
A theory of effects and resources: adjunction models and polarised calculi
inferred← citeshttps://doi.org/10.1145/3241653.3241661openalex-snapshot
Extending Scala with records: design, implementation, and evaluation
inferred← citeshttps://doi.org/10.1145/3427081.3427090openalex-snapshot
Towards an order-aware object comparison
inferred← citeshttps://doi.org/10.1145/3609027openalex-snapshot
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development
inferred← citeshttps://doi.org/10.1145/3609027.3609406openalex-snapshot
Infix-Extensible Record Types for Tabular Data
inferred← citeshttps://doi.org/10.1145/3622836openalex-snapshot
Structural Subtyping as Parametric Polymorphism
inferred← citeshttps://doi.org/10.1145/3674641openalex-snapshot
Abstracting Effect Systems for Algebraic Effect Handlers
inferred← citeshttps://doi.org/10.1145/3689782openalex-snapshot
Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing
inferred← citeshttps://doi.org/10.1145/3720497openalex-snapshot
Polymorphic Records for Dynamic Languages
inferred← citeshttps://doi.org/10.1145/3765518openalex-snapshot
Type-Safe Compilation of Dynamic Inheritance via Merging
inferred← citeshttps://doi.org/10.1145/3776662openalex-snapshot
Extensible Data Types with Ad-Hoc Polymorphism
inferred← citeshttps://doi.org/10.1145/3839501openalex-snapshot
Interactive Data Analysis with Lively Typed Tables
inferred← citeshttps://doi.org/10.1145/96709.96719openalex-snapshot
Toward a typed foundation for method specialization and inheritance
inferred← citeshttps://doi.org/10.1145/99583.99620openalex-snapshot
An extension of standard ML modules with subtyping and inheritance
inferred← citeshttps://doi.org/10.13140/rg.2.1.1427.1840openalex-snapshot
A Formalisation of Encapsulated Modification of Objects
inferred← citeshttps://doi.org/10.17760/d20213172openalex-snapshot
The design, implementation, and evaluation of a gradual type system for dynamic class composition
inferred← citeshttps://doi.org/10.26021/1624openalex-snapshot
Compiling curried functional languages to .NET.
inferred← citeshttps://doi.org/10.3166/objet.11.1-2.191-206openalex-snapshot
Représentation graphique des objets et sous-typage
inferred← citeshttps://doi.org/10.3166/objet.8.1-2.61-76openalex-snapshot
Une approche objet pour l’accès progressif à l’information
inferred← citeshttps://doi.org/10.3233/fi-1996-27401openalex-snapshot
CATEGORISATION OF COMPUTABLE DATABASE QUERIES
inferred← citeshttps://doi.org/10.3233/fi-1999-38401openalex-snapshot
A Subtyping for Extensible, Incomplete Objects
inferred← citeshttps://doi.org/10.3233/fun-2008-881-204openalex-snapshot
Alias Types and Effects for "Environment-aware" Computations
inferred← citeshttps://doi.org/10.32388/a6lbsoopenalex-snapshot
Six Birds Foundations II: Admissibility, Meta-Theory, and the Exact-Six Program
inferred← citeshttps://doi.org/10.32388/a6lbso.2openalex-snapshot
Six Birds Foundations II: Admissibility, Meta-Theory, and the Exact-Six Program
inferred← citeshttps://doi.org/10.3990/1.9789036510318openalex-snapshot
Formal Operation Definition in Object-Oriented Databases
inferred← citeshttps://doi.org/10.3990/1.9789036513555openalex-snapshot
Verification support for object database design
inferred← citeshttps://doi.org/10.4018/978-1-60566-330-2openalex-snapshot
Services and Business Computing Solutions With Xml: Applications for Quality Management and Best Processes
inferred← citeshttps://doi.org/10.4204/eptcs.351.1openalex-snapshot
An ML-style Record Calculus with Extensible Records
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2020.10openalex-snapshot
Designing with Static Capabilities and Effects: Use, Mention, and Invariants
inferred← citeshttps://doi.org/10.48550/arxiv.1605.02941openalex-snapshot
Types from data: Making structured data first-class citizens in F#
inferred← citeshttps://doi.org/10.48550/arxiv.1910.08480openalex-snapshot
Gradual Typing for Extensibility by Rows
inferred← citeshttps://doi.org/10.48550/arxiv.2109.08960openalex-snapshot
EVL: a typed functional language for event processing
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0408019openalex-snapshot
On Generalized Records and Spatial Conjunction in Role Logic
inferred← citeshttps://doi.org/10.7146/dpb.v19i341.6571openalex-snapshot
A Unified Type System for Object-Oriented Programming
inferred← citeshttps://doi.org/10.7551/mitpress/1104.001.0001openalex-snapshot
Advanced Topics in Types and Programming Languages
inferred← citeshttps://doi.org/10.7892/boris.104364openalex-snapshot
Piccola - a Small Composition Language
inferred← citeshttps://doi.org/10.7892/boris.104365openalex-snapshot
Forms, Agents and Channels: Defining Composition Abstraction with Style
inferred← citeshttps://doi.org/10.7892/boris.104613openalex-snapshot
A Formal Language for Composition
inferred← citeshttps://doi.org/10.7892/boris.104770openalex-snapshot
Components, Scripts, and Glue: A conceptual framework for software composition
inferred← citeshttps://doi.org/10.7892/boris.104772openalex-snapshot
A Metamodel for Concurrent, Object-based Programming
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.