Copertina

Pantograph: A Fluid and Typed Structure Editor

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Prinz, Jacob, Blanchette, Henry, Lampropoulos, Leonidas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

COGNAC: Circuit Optimization via Gradients and Noise-Aware Compilation
di: Voichick, Finn, et al.
Pubblicazione: (2023)

Compositional Quantum Control Flow with Efficient Compilation in Qunity
di: Mints, Mikhail, et al.
Pubblicazione: (2025)

Object Graph Programming
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2024)

Programmable Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

The Search for Constrained Random Generators
di: Goldstein, Harrison, et al.
Pubblicazione: (2025)

Formalizing Stack Safety as a Security Property
di: Anderson, Sean Noble, et al.
Pubblicazione: (2021)

Etna: An Evaluation Platform for Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

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

Meaning Typed Prompting: A Technique for Efficient, Reliable Structured Output Generation
di: Irugalbandara, Chandra
Pubblicazione: (2024)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
di: Cuéllar, Santiago, et al.
Pubblicazione: (2025)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
di: Chen, Yijia, et al.
Pubblicazione: (2024)

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

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
di: Lybech, Stian, et al.
Pubblicazione: (2025)

If-T: A Benchmark for Type Narrowing
di: Guo, Hanwen, et al.
Pubblicazione: (2025)

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

A Complementary Approach to Incorrectness Typing
di: Li, Celia Mengyue, et al.
Pubblicazione: (2025)

Stream Types
di: Cutler, Joseph W., et al.
Pubblicazione: (2023)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
di: Li, Senxi, et al.
Pubblicazione: (2026)

Refinement-Types Driven Development: A study
di: Domínguez, Facundo, et al.
Pubblicazione: (2025)

Typing Composite Subjects
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Modal Effect Types
di: Tang, Wenhao, et al.
Pubblicazione: (2024)

Polymorphic Coverage Types
di: Zhou, Zhe, et al.
Pubblicazione: (2023)

Abstraction Functions as Types
di: Grodin, Harrison, et al.
Pubblicazione: (2025)

Typing Composable Coroutines
di: Gu, Qiqi, et al.
Pubblicazione: (2023)

Gradual Sensitivity Typing
di: Arquez, Damian, et al.
Pubblicazione: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
di: Jia, Songlin, et al.
Pubblicazione: (2024)

A Sound Type System for Secure Currency Flow
di: Aceto, Luca, et al.
Pubblicazione: (2024)

A Relational Solver for Constraint-based Type Inference
di: Domoratskiy, Eridan, et al.
Pubblicazione: (2024)

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

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

Type Universes as Allocation Effects
di: Koronkevich, Paulette, et al.
Pubblicazione: (2024)

Synchronous Programming with Refinement Types
di: Chen, Jiawei, et al.
Pubblicazione: (2024)

Full Iso-recursive Types
di: Zhou, Litao, et al.
Pubblicazione: (2024)

Contextual Metaprogramming for Session Types
di: Ângelo, Pedro, et al.
Pubblicazione: (2026)

Navigating the Python Type Jungle
di: Nacu, Andrei, et al.
Pubblicazione: (2025)

Set-theoretic Types for Erlang
di: Schimpf, Albert, et al.
Pubblicazione: (2023)

Type-Based Incorrectness Reasoning
di: Zhou, Zhe, et al.
Pubblicazione: (2025)

Compiling Gradual Types with Evidence
di: Romero, José Luis, et al.
Pubblicazione: (2025)

Typing Strictness (Extended Version)
di: Sainati, Daniel, et al.
Pubblicazione: (2025)

A Minimal Formulation of Session Types: The Sessions of Trios in Concert
di: Arslanagić, Alen, et al.
Pubblicazione: (2023)