Cover Image

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liesnikov, Bohdan, Binder, David, Süberkrüb, Tim
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
by: Binder, David, et al.
Published: (2024)

Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
by: Bhanuka, Ishan, et al.
Published: (2024)

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

Dependent-Type-Preserving Memory Allocation
by: Koronkevich, Paulette, et al.
Published: (2025)

Dependent Session Types for Verified Concurrent Programming
by: Fu, Qiancheng, et al.
Published: (2025)

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation
by: Schimpf, Albert, et al.
Published: (2026)

A Two-Level Linear Dependent Type Theory
by: Fu, Qiancheng, et al.
Published: (2023)

Dependent Multiplicities in Dependent Linear Type Theory
by: Doré, Maximilian
Published: (2025)

Grokking the Sequent Calculus (Functional Pearl)
by: Binder, David, et al.
Published: (2024)

Dependent Type Refinements for Futures
by: Somayyajula, Siva, et al.
Published: (2023)

Learning Structure-Aware Representations of Dependent Types
by: Kogkalidis, Konstantinos, et al.
Published: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
by: Xu, Han, et al.
Published: (2026)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
by: Bembenek, Aaron, et al.
Published: (2024)

JEDI: Java Evaluation of Declarative and Imperative Queries
by: Schiavio, Filippo, et al.
Published: (2026)

Session Types for the Transport Layer: Towards an Implementation of TCP
by: Cavoj, Samuel, et al.
Published: (2024)

Characterizing Implementability of Global Protocols with Infinite States and Data
by: Li, Elaine, et al.
Published: (2024)

Foundations of Substructural Dependent Type Theory
by: Aberlé, C. B.
Published: (2024)

Syntax and Semantics of Linear Dependent Types
by: Vákár, Matthijs
Published: (2014)

A Graded Modal Dependent Type Theory with Erasure, Formalized
by: Abel, Andreas, et al.
Published: (2026)

Implementing CPSLint: A Data Validation and Sanitisation Tool for Industrial Cyber-Physical Systems
by: Odyurt, Uraz, et al.
Published: (2026)

System $F^ω$ with Coherent Implicit Resolution
by: Flesselle, Eugène
Published: (2025)

TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)

A Type System for Data Privacy Compliance in Active Object Languages
by: Baramashetru, Chinmayi Prabhu, et al.
Published: (2025)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
by: Hughes, Jack, et al.
Published: (2025)

Misleading Microbenchmarks on the Java Virtual Machines
by: Schiavio, Filippo, et al.
Published: (2026)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
by: Bond, Joseph, et al.
Published: (2024)

The Parallel Semantics Program Dependence Graph
by: Homerding, Brian, et al.
Published: (2024)

SplittingSecrets: A Compiler-Based Defense for Preventing Data Memory-Dependent Prefetcher Side-Channels
by: Sharma, Reshabh K, et al.
Published: (2026)

GeckoGraph: A Visual Language for Polymorphic Types
by: Fu, Shuai, et al.
Published: (2024)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
by: Castro-Perez, David, et al.
Published: (2025)

WebPie: A Tiny Slice of Dependent Typing
by: Scholliers, Christophe
Published: (2024)

TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
by: Hu, Jason Z. S., et al.
Published: (2024)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
by: Hummelgren, Lars, et al.
Published: (2022)

Local Type Inference for Context-Free Session Types
by: Almeida, Bernardo, et al.
Published: (2025)

Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets
by: Fu, Shuai, et al.
Published: (2024)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
by: Moosbrugger, Marcel, et al.
Published: (2026)

Target-Aware Implementation of Real Expressions
by: Saiki, Brett, et al.
Published: (2024)