:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Prinz, Jacob, Blanchette, Henry, Lampropoulos, Leonidas
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	https://arxiv.org/abs/2411.16571
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

Object Graph Programming
por: Thimmaiah, Aditya, et al.
Publicado: (2024)

Programmable Property-Based Testing
por: Keles, Alperen, et al.
Publicado: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

Stream Types
por: Cutler, Joseph W., et al.
Publicado: (2023)

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

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

Typing Composite Subjects
por: Aceto, Luca, et al.
Publicado: (2024)

Modal Effect Types
por: Tang, Wenhao, et al.
Publicado: (2024)

Polymorphic Coverage Types
por: Zhou, Zhe, et al.
Publicado: (2023)

Abstraction Functions as Types
por: Grodin, Harrison, et al.
Publicado: (2025)

Typing Composable Coroutines
por: Gu, Qiqi, et al.
Publicado: (2023)

Gradual Sensitivity Typing
por: Arquez, Damian, et al.
Publicado: (2023)

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

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

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

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

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

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
por: Paul, Abhijit
Publicado: (2025)

Type Universes as Allocation Effects
por: Koronkevich, Paulette, et al.
Publicado: (2024)

Synchronous Programming with Refinement Types
por: Chen, Jiawei, et al.
Publicado: (2024)

Full Iso-recursive Types
por: Zhou, Litao, et al.
Publicado: (2024)

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

Navigating the Python Type Jungle
por: Nacu, Andrei, et al.
Publicado: (2025)

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

Type-Based Incorrectness Reasoning
por: Zhou, Zhe, et al.
Publicado: (2025)

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

Typing Strictness (Extended Version)
por: Sainati, Daniel, et al.
Publicado: (2025)