Imagen de Portada

System $F^ω$ with Coherent Implicit Resolution

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Flesselle, Eugène
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On the State of Coherence in the Land of Type Classes
por: Racordon, Dimi, et al.
Publicado: (2025)

Qualifying System F-sub
por: Lee, Edward, et al.
Publicado: (2023)

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

Evaluating Program Semantics Reasoning with Type Inference in System F
por: He, Yifeng, et al.
Publicado: (2025)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
por: Liesnikov, Bohdan, et al.
Publicado: (2025)

Heap vs. Stack: Analyzing Memory Allocations in C and C++ Open Source Software
por: Korostinskiy, Roman, et al.
Publicado: (2024)

Solving Package Management via Hypergraph Dependency Resolution
por: Gibb, Ryan, et al.
Publicado: (2025)

Package Managers à la Carte: A Formal Model of Dependency Resolution
por: Gibb, Ryan, et al.
Publicado: (2026)

Misquoted No More: Securely Extracting F* Programs with IO
por: Andrici, Cezar-Constantin, et al.
Publicado: (2026)

Functional Reasoning for Distributed Systems with Failures
por: Ni, Haobin, et al.
Publicado: (2025)

The Design Principles of the Elixir Type System
por: Castagna, Giuseppe, et al.
Publicado: (2023)

Synchron -- An API and Runtime for Embedded Systems
por: Sarkar, Abhiroop, et al.
Publicado: (2022)

Schema Evolution in Interactive Programming Systems
por: Edwards, Jonathan, et al.
Publicado: (2024)

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

Behavioural Types for Heterogeneous Systems (Position Paper)
por: Fowler, Simon, et al.
Publicado: (2024)

MetaFFI -- Multilingual Indirect Interoperability System
por: Cherny-Shahar, Tsvi, et al.
Publicado: (2024)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
por: Wang, Yi, et al.
Publicado: (2025)

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study
por: Viennot, Jules, et al.
Publicado: (2025)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
por: Arbore, Russel, et al.
Publicado: (2025)

Information Aware Type Systems and Telescopic Constraint Trees
por: Cowderoy, Philippa
Publicado: (2024)

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

Transition-Oriented Programming: Developing Provably Correct Systems
por: Ding, Yepeng
Publicado: (2020)

RacerF: Lightweight Static Data Race Detection for C Code
por: Dacík, Tomáš, et al.
Publicado: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
por: Dacík, Tomáš, et al.
Publicado: (2025)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
por: Bao, Yuyan, et al.
Publicado: (2025)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
por: Redmond, Patrick, et al.
Publicado: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
por: Huber, Nikolaus, et al.
Publicado: (2025)

Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
por: Nagar, Kartik, et al.
Publicado: (2020)

Rewrite System Showdown: Stochastic Search vs. EqSat
por: Hong, Qiantan, et al.
Publicado: (2026)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
por: Chen, Pei-Wei, et al.
Publicado: (2025)

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

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
por: Arbore, Russel, et al.
Publicado: (2024)

Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
por: Brahmakshatriya, Ajay, et al.
Publicado: (2026)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
por: Wang, Yaoxiang, et al.
Publicado: (2026)

SecRef*: Securely Sharing Mutable References Between Verified and Unverified Code in F*
por: Andrici, Cezar-Constantin, et al.
Publicado: (2025)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
por: He, Siyuan, et al.
Publicado: (2025)

Development and Evaluation of Adaptive LearningSupport System Based on Ontology of MultipleProgramming Languages
por: Nongkhai, Lalita Na, et al.
Publicado: (2025)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
por: Huot, Mathieu, et al.
Publicado: (2024)

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

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
por: Daggitt, Matthew L., et al.
Publicado: (2026)