On the public citation graph

Graduality and parametricity: together again for the first time

0 signed · 64 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.1007/3-540-55511-0_1openalex-snapshot

Types, abstraction, and parametric polymorphism, part 2

inferredcites →https://doi.org/10.1007/978-3-319-89884-1_1openalex-snapshot

Consistent Subtyping for All

inferredcites →https://doi.org/10.1007/978-3-540-73589-2_2openalex-snapshot

Gradual Typing for Objects

inferredcites →https://doi.org/10.1007/978-3-642-28869-2_29openalex-snapshot

Gradual Ownership Types

inferredcites →https://doi.org/10.1007/bfb0037118openalex-snapshot

A logic for parametric polymorphism

inferredcites →https://doi.org/10.1016/0167-6423(91)90036-wopenalex-snapshot

On the expressive power of programming languages

inferredcites →https://doi.org/10.1108/ilds.2002.12230aab.001openalex-snapshot

7th International Conference

inferredcites →https://doi.org/10.1109/csf.2013.22openalex-snapshot

Gradual Security Typing with References

inferredcites →https://doi.org/10.1145/1176617.1176755openalex-snapshot

Interlanguage migration

inferredcites →https://doi.org/10.1145/1328438.1328486openalex-snapshot

The design and implementation of typed scheme

inferredcites →https://doi.org/10.1145/141471.141563openalex-snapshot

Reasoning about programs in continuation-passing style.

inferredcites →https://doi.org/10.1145/1596550.1596572openalex-snapshot

Non-parametric parametricity

inferredcites →https://doi.org/10.1145/1925844.1926409openalex-snapshot

Blame for all

inferredcites →https://doi.org/10.1145/2048066.2048114openalex-snapshot

Gradual typing for generics

inferredcites →https://doi.org/10.1145/2384616.2384674openalex-snapshot

Gradual typing for first-class classes

inferredcites →https://doi.org/10.1145/2628136.2628149openalex-snapshot

A theory of gradual effect systems

inferredcites →https://doi.org/10.1145/2676726.2676992openalex-snapshot

Principal Type Schemes for Gradual Programs

inferredcites →https://doi.org/10.1145/2837614.2837670openalex-snapshot

Abstracting gradual typing

inferredcites →https://doi.org/10.1145/3110282openalex-snapshot

Gradual session types

inferredcites →https://doi.org/10.1145/3110283openalex-snapshot

Theorems for free for free: parametricity, with and without types

inferredcites →https://doi.org/10.1145/3110285openalex-snapshot

Gradual typing with union and intersection types

inferredcites →https://doi.org/10.1145/318593.318606openalex-snapshot

Abstract types have existential types

inferredcites →https://doi.org/10.1145/3229061openalex-snapshot

Type-Driven Gradual Security with References

inferredcites →https://doi.org/10.1145/3236768openalex-snapshot

Graduality from embedding-projection pairs

inferredcites →https://doi.org/10.1145/3290328openalex-snapshot

Gradual type theory

inferredcites →https://doi.org/10.1145/3371114openalex-snapshot

Graduality and parametricity: together again for the first time

inferredcites →https://doi.org/10.1145/964001.964015openalex-snapshot

A bisimulation for dynamic sealing

inferredcites →https://doi.org/10.48550/arxiv.1807.04596openalex-snapshot

Gradual System F

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-3-030-89159-6_21openalex-snapshot

GATE: Gradual Effect Types

inferred← citeshttps://doi.org/10.1007/978-3-031-30044-8_6openalex-snapshot

Pragmatic Gradual Polymorphism with References

inferred← citeshttps://doi.org/10.1007/978-3-031-74558-4_7openalex-snapshot

Polymorphism with Typed Holes

inferred← citeshttps://doi.org/10.1016/j.scico.2020.102496openalex-snapshot

Abstracting gradual references

inferred← citeshttps://doi.org/10.1016/j.softx.2025.102425openalex-snapshot

Visualizing the semantics of gradual languages with Gredex

inferred← citeshttps://doi.org/10.1017/s0956796821000101openalex-snapshot

Blame and coercion: Together again for the first time

inferred← citeshttps://doi.org/10.1017/s0956796821000125openalex-snapshot

Gradual type theory

inferred← citeshttps://doi.org/10.1017/s0956796821000241openalex-snapshot

Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

inferred← citeshttps://doi.org/10.1017/s0956796822000089openalex-snapshot

Migrating gradual types

inferred← citeshttps://doi.org/10.1145/3373718.3394778openalex-snapshot

Reconciling noninterference and gradual typing

inferred← citeshttps://doi.org/10.1145/3426428.3426913openalex-snapshot

A case study in language-based security: building an I/O library for Wyvern

inferred← citeshttps://doi.org/10.1145/3434288openalex-snapshot

Fully abstract from static to gradual

inferred← citeshttps://doi.org/10.1145/3434342openalex-snapshot

Abstracting gradual typing moving forward: precise and space-efficient

inferred← citeshttps://doi.org/10.1145/3462172.3462190openalex-snapshot

A Declarative Gradualizer with Language Transformations

inferred← citeshttps://doi.org/10.1145/3473600openalex-snapshot

CPS transformation with affine types for call-by-value implicit polymorphism

inferred← citeshttps://doi.org/10.1145/3485503openalex-snapshot

Gradually structured data

inferred← citeshttps://doi.org/10.1145/3495528openalex-snapshot

Gradualizing the Calculus of Inductive Constructions

inferred← citeshttps://doi.org/10.1145/3519939.3523703openalex-snapshot

Semantic soundness for language interoperability

inferred← citeshttps://doi.org/10.1145/3527314openalex-snapshot

Plausible sealing for gradual parametricity

inferred← citeshttps://doi.org/10.1145/3539657openalex-snapshot

Two Parametricities Versus Three Universal Types

inferred← citeshttps://doi.org/10.1145/3555986openalex-snapshot

Gradual System F

inferred← citeshttps://doi.org/10.1145/3589806.3600034openalex-snapshot

GTP Benchmarks for Gradual Typing Performance

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.3609405openalex-snapshot

Semantic Encapsulation using Linking Types

inferred← citeshttps://doi.org/10.1145/3622860openalex-snapshot

Gradual Typing for Effect Handlers

inferred← citeshttps://doi.org/10.1145/3656441openalex-snapshot

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

inferred← citeshttps://doi.org/10.1145/3689734openalex-snapshot

Merging Gradual Typing

inferred← citeshttps://doi.org/10.1145/3704863openalex-snapshot

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory

inferred← citeshttps://doi.org/10.1145/3747507openalex-snapshot

Robust Dynamic Embedding for Gradual Typing

inferred← citeshttps://doi.org/10.1145/3808303openalex-snapshot

Backwards-Compatible Row-Based Exceptions in ML

inferred← citeshttps://doi.org/10.17760/d20398327openalex-snapshot

A semantic foundation for sound gradual typing

inferred← citeshttps://doi.org/10.17760/d20398329openalex-snapshot

Deep and shallow types

inferred← citeshttps://doi.org/10.17760/d20467221openalex-snapshot

Interoperability through realizability: expressing high-level abstractions using low-level code

inferred← citeshttps://doi.org/10.4204/eptcs.413.3openalex-snapshot

Gradual Guarantee via Step-Indexed Logical Relations in Agda

inferred← citeshttps://doi.org/10.48550/arxiv.2010.14094openalex-snapshot

Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient (Technical Report)

showing the first 35 of 36 · page through all 36

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.