Buchumschlag

Qualifying System F-sub

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lee, Edward, Zhao, Yaoyu, You, James, Satheeskumar, Kavin, Lhoták, Ondřej, Brachthäuser, Jonathan
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
von: Ashouri, Amir H., et al.
Veröffentlicht: (2026)

Tracking Capabilities for Safer Agents
von: Odersky, Martin, et al.
Veröffentlicht: (2026)

System $F^ω$ with Coherent Implicit Resolution
von: Flesselle, Eugène
Veröffentlicht: (2025)

LACUNA: Safe Agents as Recursive Program Holes
von: Zhao, Yaoyu, et al.
Veröffentlicht: (2026)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
von: Chen, Pei-Wei, et al.
Veröffentlicht: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

Schema Evolution in Interactive Programming Systems
von: Edwards, Jonathan, et al.
Veröffentlicht: (2024)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
von: Redmond, Patrick, et al.
Veröffentlicht: (2025)

Scylla: Translating an Applicative Subset of C to Safe Rust
von: Fromherz, Aymeric, et al.
Veröffentlicht: (2024)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
von: Van der Cruysse, Jonathan, et al.
Veröffentlicht: (2023)

Inductive diagrams for causal reasoning
von: Castello, Jonathan, et al.
Veröffentlicht: (2023)

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
von: Niu, Yue, et al.
Veröffentlicht: (2024)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
von: Ho, Son, et al.
Veröffentlicht: (2024)

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
von: Schulz-Rosengarten, Alexander, et al.
Veröffentlicht: (2024)

A Brief Overview of the Pawns Programming Language
von: Naish, Lee
Veröffentlicht: (2024)

Retargeting an Abstract Interpreter for a New Language by Partial Evaluation
von: Lee, Jay
Veröffentlicht: (2025)

AI-Assisted Modeling: DSL-Driven AI Interactions
von: Smyth, Steven, et al.
Veröffentlicht: (2025)

Disassembly as Weighted Interval Scheduling with Learned Weights
von: Flores-Montoya, Antonio, et al.
Veröffentlicht: (2025)

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

CRDT Emulation, Simulation, and Representation Independence
von: Liittschwager, Nathan, et al.
Veröffentlicht: (2025)

Adaptive Shielding via Parametric Safety Proofs
von: Feng, Yao, et al.
Veröffentlicht: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
von: Zhao, Jianhong, et al.
Veröffentlicht: (2025)

A Calculus for Unreachable Code
von: Zhong, Peter, et al.
Veröffentlicht: (2024)

Breaking Token Into Concepts: Exploring Extreme Compression in Token Representation Via Compositional Shared Semantics
von: R V, Kavin, et al.
Veröffentlicht: (2025)

Unsafe Impedance: Safe Languages and Safe by Design Software
von: Barney, Lee, et al.
Veröffentlicht: (2024)

The CoCompiler: DSL Lifting via Relational Compilation
von: Spargo, Naomi, et al.
Veröffentlicht: (2025)

Misquoted No More: Securely Extracting F* Programs with IO
von: Andrici, Cezar-Constantin, et al.
Veröffentlicht: (2026)

The Design Principles of the Elixir Type System
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2023)

Functional Reasoning for Distributed Systems with Failures
von: Ni, Haobin, et al.
Veröffentlicht: (2025)

Synchron -- An API and Runtime for Embedded Systems
von: Sarkar, Abhiroop, et al.
Veröffentlicht: (2022)

Behavioural Types for Heterogeneous Systems (Position Paper)
von: Fowler, Simon, et al.
Veröffentlicht: (2024)

MetaFFI -- Multilingual Indirect Interoperability System
von: Cherny-Shahar, Tsvi, et al.
Veröffentlicht: (2024)

TypeDis: A Type System for Disentanglement
von: Moine, Alexandre, et al.
Veröffentlicht: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
von: Wang, Yi, et al.
Veröffentlicht: (2025)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
von: Viennot, Jules, et al.
Veröffentlicht: (2025)

Charon: An Analysis Framework for Rust
von: Ho, Son, et al.
Veröffentlicht: (2024)

Grammar Repair with Examples and Tree Automata: Extended Version
von: Lee, Yunjeong, et al.
Veröffentlicht: (2026)

Information Aware Type Systems and Telescopic Constraint Trees
von: Cowderoy, Philippa
Veröffentlicht: (2024)

A Sound Type System for Secure Currency Flow
von: Aceto, Luca, et al.
Veröffentlicht: (2024)