On the public citation graph

Dynamic type inference for gradual Hindley–Milner typing

0 signed · 73 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.1093openalex-snapshot

A Syntactic Approach to Type Soundness

inferredcites →https://doi.org/10.1007/3-540-06859-7_148openalex-snapshot

Towards a theory of type structure

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-24754-8_15openalex-snapshot

Relaxing the Value Restriction

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-00590-9_1openalex-snapshot

Well-Typed Programs Can’t Be Blamed

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

Gradual Ownership Types

inferredcites →https://doi.org/10.1007/978-3-662-46669-8_18openalex-snapshot

Monotonic References for Efficient Gradual Typing

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

Programming languages and systems : Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings

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

Simple imperative polymorphism

inferredcites →https://doi.org/10.1007/s10990-011-9066-zopenalex-snapshot

Space-efficient gradual typing

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/0167-6423(94)00004-2openalex-snapshot

Dynamic typing: syntax and proof theory

inferredcites →https://doi.org/10.1016/0890-5401(91)90055-7openalex-snapshot

Inheritance as implicit coercion

inferredcites →https://doi.org/10.1016/s0304-3975(00)00053-0openalex-snapshot

MetaML and multi-stage programming with explicit annotations

inferredcites →https://doi.org/10.1017/s0956796816000162openalex-snapshot

Gradual type-and-effect systems

inferredcites →https://doi.org/10.1109/lics.1996.561317openalex-snapshot

A temporal-logic approach to binding-time analysis

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

Dynamic typing in a statically typed language

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

A polymorphic modal type system for lisp-like multi-staged languages

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

Soft typing

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

The design and implementation of typed scheme

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

Gradual typing with unification-based inference

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

Polymorphism by name for references and continuations

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

Strongtalk

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

On the type structure of standard ML

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

Threesomes, with and without blame

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

Blame for all

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

Blame for all

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

Gradual typing for generics

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

The ins and outs of gradual type inference

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

The ins and outs of gradual type inference

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

Safe polymorphic type inference for a dynamically typed language

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

Putting type annotations to work

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/268946.268970openalex-snapshot

Dynamic typing as staged type inference

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

The gradualizer: a methodology and algorithm for generating gradual type systems

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

Abstracting gradual typing

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

Automatically generating the dynamic semantics of gradually typed languages

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

Automatically generating the dynamic semantics of gradually typed languages

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

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

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

On polymorphic gradual typing

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

Componential set-based analysis

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

A modal analysis of staged computation

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

Contracts for higher-order functions

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

Environment classifiers

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

Environment classifiers

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

Quasi-static typing

inferredcites →https://doi.org/10.21236/ada367677openalex-snapshot

A Modal Analysis of Staged Computation

inferredcites →https://doi.org/10.2168/lmcs-6(4:8)2010openalex-snapshot

A Logical Foundation for Environment Classifiers

inferredcites →https://doi.org/10.4230/lipics.snapl.2015.274openalex-snapshot

Refined Criteria for Gradual Typing

inferredcites →https://doi.org/10.7146/brics.v2i51.19952openalex-snapshot

A Temporal-Logic Approach to Binding-Time Analysis

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-67438-0openalex-snapshot

Practical Aspects of Declarative Languages

inferred← citeshttps://doi.org/10.1007/978-3-030-67438-0_4openalex-snapshot

Putting Gradual Types to Work

inferred← citeshttps://doi.org/10.1007/978-3-031-64626-3_15openalex-snapshot

Gradual Typing Performance, Micro Configurations and Macro Perspectives

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

Migrating gradual types

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

What is decidable about gradual types?

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

Solver-based gradual type migration

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

Static inference meets deep learning

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

How to Evaluate Blame for Gradual Types, Part 2

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

How Profilers Can Help Navigate Type Migration

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

Type-Based Gradual Typing Performance Optimization

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

SelfPiCo: Self-Guided Partial Code Execution with LLMs

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

Generating Python Type Annotations from Type Inference: How Far Are We?

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

Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

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

QuAC: Quick Attribute-Centric Type Inference for Python

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

Towards Effective Static Type-Error Detection for Python

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

Navigating Mixed-Typed Migration with Profilers

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

CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System

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

Scitix: Scalable Constraint-Based Type Inference for Code Snippets with Missing Types

inferred← citeshttps://doi.org/10.15514/ispras-2021-33(3)-5openalex-snapshot

Localized Lama Gradual Typing

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

Predicting typeScript type annotations and definitions with machine learning

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

Gradual Typing for Extensibility by Rows

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.