Image de couverture de livre

An effectful object calculus

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Dagnino, Francesco, Giannini, Paola, Zucca, Elena
Format:	Preprint
Publié:	2025
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

Monadic type-and-effect soundness
par: Dagnino, Francesco, et autres
Publié: (2025)

Don't exhaust, don't waste
par: Bianchini, Riccardo, et autres
Publié: (2025)

Fair Termination for Resource-Aware Active Objects
par: Dagnino, Francesco, et autres
Publié: (2025)

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
par: Koprivec, Filip, et autres
Publié: (2024)

A Type System for Data Privacy Compliance in Active Object Languages
par: Baramashetru, Chinmayi Prabhu, et autres
Publié: (2025)

Minimal Session Types for the $π$-calculus (Extended Version)
par: Arslanagic, Alen, et autres
Publié: (2021)

Wiring the Pi-calculus to Denotational Semantics
par: Sakayori, Ken, et autres
Publié: (2026)

S4 modal sequent calculus as intermediate logic and intermediate language
par: Caspar, Jean, et autres
Publié: (2026)

CPU-less parallel execution of lambda calculus in digital logic
par: Fitchett, Harry, et autres
Publié: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
par: Faro, Simone, et autres
Publié: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
par: Haas, Julian, et autres
Publié: (2023)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
par: Goldstein, Oliver, et autres
Publié: (2024)

Reversible Lifetime Semantics for Quantum Programs
par: Faro, Simone, et autres
Publié: (2026)

Ohana trees, linear approximation and multi-types for the $λ$I-calculus: No variable gets left behind or forgotten!
par: Cerda, Rémy, et autres
Publié: (2025)

Monadic Intersection Types, Relationally (Extended Version)
par: Gavazzo, Francesco, et autres
Publié: (2024)

Checkpoint-based rollback recovery in session programming
par: Mezzina, Claudio Antares, et autres
Publié: (2023)

Amortizing Pragmatic Program Synthesis with Rankings
par: Pu, Yewen, et autres
Publié: (2024)

A Program Logic for Abstract (Hyper)Properties
par: Baldan, Paolo, et autres
Publié: (2026)

Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
par: Audrito, Giorgio, et autres
Publié: (2026)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
par: Congard, Sidney, et autres
Publié: (2025)

Hear Your Code Fail, Voice-Assisted Debugging for Python
par: Amiri, Sayed Mahbub Hasan, et autres
Publié: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
par: Wang, Yi, et autres
Publié: (2025)

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
par: Nezhad, Sina Bagheri, et autres
Publié: (2025)

On Code-Induced Reasoning in LLMs
par: Waheed, Abdul, et autres
Publié: (2025)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
par: Xiao, Youwei, et autres
Publié: (2025)

Probabilistic energy profiler for statically typed JVM-based programming languages
par: Nyholm, Joel, et autres
Publié: (2025)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
par: Maekawa, Seiji, et autres
Publié: (2025)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
par: Gao, Jun, et autres
Publié: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
par: Zhao, Jianhong, et autres
Publié: (2025)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
par: Sun, Simeng, et autres
Publié: (2025)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
par: Lin, Honglin, et autres
Publié: (2025)

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
par: Rupprecht, Sophia, et autres
Publié: (2025)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
par: Ma, Zhiyao, et autres
Publié: (2025)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
par: Santana, Manuel Alejandro Borroto, et autres
Publié: (2026)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
par: Vijayaraghavan, Prashanth, et autres
Publié: (2026)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
par: Wang, Yaoxiang, et autres
Publié: (2026)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
par: Xiong, Jing, et autres
Publié: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
par: Wiemerslage, Adam, et autres
Publié: (2020)

C Analyzer : A Static Program Analysis Tool for C Programs
par: Solanki, Rajendra Kumar
Publié: (2024)

The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
par: Zhou, Shu, et autres
Publié: (2024)