Copertina

An effectful object calculus

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Dagnino, Francesco, Giannini, Paola, Zucca, Elena
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Monadic type-and-effect soundness
di: Dagnino, Francesco, et al.
Pubblicazione: (2025)

Don't exhaust, don't waste
di: Bianchini, Riccardo, et al.
Pubblicazione: (2025)

Fair Termination for Resource-Aware Active Objects
di: Dagnino, Francesco, et al.
Pubblicazione: (2025)

Simplifying explicit subtyping coercions in a polymorphic calculus with effects
di: Koprivec, Filip, et al.
Pubblicazione: (2024)

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

Minimal Session Types for the $π$-calculus (Extended Version)
di: Arslanagic, Alen, et al.
Pubblicazione: (2021)

Wiring the Pi-calculus to Denotational Semantics
di: Sakayori, Ken, et al.
Pubblicazione: (2026)

S4 modal sequent calculus as intermediate logic and intermediate language
di: Caspar, Jean, et al.
Pubblicazione: (2026)

CPU-less parallel execution of lambda calculus in digital logic
di: Fitchett, Harry, et al.
Pubblicazione: (2026)

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing
di: Faro, Simone, et al.
Pubblicazione: (2025)

LoRe: A Programming Model for Verifiably Safe Local-First Software
di: Haas, Julian, et al.
Pubblicazione: (2023)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
di: Goldstein, Oliver, et al.
Pubblicazione: (2024)

Reversible Lifetime Semantics for Quantum Programs
di: Faro, Simone, et al.
Pubblicazione: (2026)

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

Monadic Intersection Types, Relationally (Extended Version)
di: Gavazzo, Francesco, et al.
Pubblicazione: (2024)

Checkpoint-based rollback recovery in session programming
di: Mezzina, Claudio Antares, et al.
Pubblicazione: (2023)

Amortizing Pragmatic Program Synthesis with Rankings
di: Pu, Yewen, et al.
Pubblicazione: (2024)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

Lambdas at the Far Edge: a Tale of Flying Lambdas and Lambdas on Wheels
di: Audrito, Giorgio, et al.
Pubblicazione: (2026)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
di: Congard, Sidney, et al.
Pubblicazione: (2025)

Hear Your Code Fail, Voice-Assisted Debugging for Python
di: Amiri, Sayed Mahbub Hasan, et al.
Pubblicazione: (2025)

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

SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
di: Nezhad, Sina Bagheri, et al.
Pubblicazione: (2025)

On Code-Induced Reasoning in LLMs
di: Waheed, Abdul, et al.
Pubblicazione: (2025)

SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
di: Xiao, Youwei, et al.
Pubblicazione: (2025)

Probabilistic energy profiler for statically typed JVM-based programming languages
di: Nyholm, Joel, et al.
Pubblicazione: (2025)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
di: Maekawa, Seiji, et al.
Pubblicazione: (2025)

\texttt{ReMind}: Understanding Deductive Code Reasoning in LLMs
di: Gao, Jun, et al.
Pubblicazione: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
di: Zhao, Jianhong, et al.
Pubblicazione: (2025)

L0-Reasoning Bench: Evaluating Procedural Correctness in Language Models via Simple Program Execution
di: Sun, Simeng, et al.
Pubblicazione: (2025)

Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning
di: Lin, Honglin, et al.
Pubblicazione: (2025)

Text2Model: Generating dynamic chemical reactor models using large language models (LLMs)
di: Rupprecht, Sophia, et al.
Pubblicazione: (2025)

MappedTrace: Tracing Pointer Remotely with Compiler-generated Maps
di: Ma, Zhiyao, et al.
Pubblicazione: (2025)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
di: Santana, Manuel Alejandro Borroto, et al.
Pubblicazione: (2026)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
di: Vijayaraghavan, Prashanth, et al.
Pubblicazione: (2026)

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

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
di: Xiong, Jing, et al.
Pubblicazione: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
di: Wiemerslage, Adam, et al.
Pubblicazione: (2020)

C Analyzer : A Static Program Analysis Tool for C Programs
di: Solanki, Rajendra Kumar
Pubblicazione: (2024)

The Master-Slave Encoder Model for Improving Patent Text Summarization: A New Approach to Combining Specifications and Claims
di: Zhou, Shu, et al.
Pubblicazione: (2024)