Image de couverture de livre

Pantograph: A Fluid and Typed Structure Editor

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Prinz, Jacob, Blanchette, Henry, Lampropoulos, Leonidas
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
par: Voichick, Finn, et autres
Publié: (2023)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
par: Mints, Mikhail, et autres
Publié: (2025)

Object Graph Programming
par: Thimmaiah, Aditya, et autres
Publié: (2024)

Programmable Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

The Search for Constrained Random Generators
par: Goldstein, Harrison, et autres
Publié: (2025)

Formalizing Stack Safety as a Security Property
par: Anderson, Sean Noble, et autres
Publié: (2021)

Etna: An Evaluation Platform for Property-Based Testing
par: Keles, Alperen, et autres
Publié: (2026)

TypeDis: A Type System for Disentanglement
par: Moine, Alexandre, et autres
Publié: (2025)

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
par: Irugalbandara, Chandra
Publié: (2024)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
par: Cuéllar, Santiago, et autres
Publié: (2025)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
par: Chen, Yijia, et autres
Publié: (2024)

Learning Structure-Aware Representations of Dependent Types
par: Kogkalidis, Konstantinos, et autres
Publié: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
par: Lybech, Stian, et autres
Publié: (2025)

If-T: A Benchmark for Type Narrowing
par: Guo, Hanwen, et autres
Publié: (2025)

Local Type Inference for Context-Free Session Types
par: Almeida, Bernardo, et autres
Publié: (2025)

A Complementary Approach to Incorrectness Typing
par: Li, Celia Mengyue, et autres
Publié: (2025)

Stream Types
par: Cutler, Joseph W., et autres
Publié: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
par: Li, Senxi, et autres
Publié: (2026)

Refinement-Types Driven Development: A study
par: Domínguez, Facundo, et autres
Publié: (2025)

Typing Composite Subjects
par: Aceto, Luca, et autres
Publié: (2024)

Modal Effect Types
par: Tang, Wenhao, et autres
Publié: (2024)

Polymorphic Coverage Types
par: Zhou, Zhe, et autres
Publié: (2023)

Abstraction Functions as Types
par: Grodin, Harrison, et autres
Publié: (2025)

Typing Composable Coroutines
par: Gu, Qiqi, et autres
Publié: (2023)

Gradual Sensitivity Typing
par: Arquez, Damian, et autres
Publié: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
par: Jia, Songlin, et autres
Publié: (2024)

A Sound Type System for Secure Currency Flow
par: Aceto, Luca, et autres
Publié: (2024)

A Relational Solver for Constraint-based Type Inference
par: Domoratskiy, Eridan, et autres
Publié: (2024)

A Two-Level Linear Dependent Type Theory
par: Fu, Qiancheng, et autres
Publié: (2023)

A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
par: Castro-Perez, David, et autres
Publié: (2025)

Type Universes as Allocation Effects
par: Koronkevich, Paulette, et autres
Publié: (2024)

Synchronous Programming with Refinement Types
par: Chen, Jiawei, et autres
Publié: (2024)

Full Iso-recursive Types
par: Zhou, Litao, et autres
Publié: (2024)

Contextual Metaprogramming for Session Types
par: Ângelo, Pedro, et autres
Publié: (2026)

Navigating the Python Type Jungle
par: Nacu, Andrei, et autres
Publié: (2025)

Set-theoretic Types for Erlang
par: Schimpf, Albert, et autres
Publié: (2023)

Type-Based Incorrectness Reasoning
par: Zhou, Zhe, et autres
Publié: (2025)

Compiling Gradual Types with Evidence
par: Romero, José Luis, et autres
Publié: (2025)

Typing Strictness (Extended Version)
par: Sainati, Daniel, et autres
Publié: (2025)

A Minimal Formulation of Session Types: The Sessions of Trios in Concert
par: Arslanagić, Alen, et autres
Publié: (2023)