:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Cataño, Néstor
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2505.13454
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
by: Drab, Tomasz
Published: (2024)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
by: Bagrel, Thomas, et al.
Published: (2025)

A Calculus for Unreachable Code
by: Zhong, Peter, et al.
Published: (2024)

A Gradual Probabilistic Lambda Calculus
by: Ye, Wenjia, et al.
Published: (2026)

A Calculus for Scoped Effects & Handlers
by: Bosman, Roger, et al.
Published: (2023)

Egglog Python: A Pythonic Library for E-graphs
by: Shanabrook, Saul
Published: (2023)

Opportunistically Parallel Lambda Calculus
by: Mell, Stephen, et al.
Published: (2024)

Grokking the Sequent Calculus (Functional Pearl)
by: Binder, David, et al.
Published: (2024)

$φ$-Calculus: Object-Oriented Formalism
by: Bugayenko, Yegor, et al.
Published: (2021)

Corps: A Core Calculus of Hierarchical Choreographic Programming
by: Hirsch, Andrew K.
Published: (2024)

WebTigerPython -- A Low-Floor High-Ceiling Python IDE for the Browser
by: Bachmann, Clemens, et al.
Published: (2024)

A Multilingual Python Programming Language
by: Bazaz, Saad Ahmed, et al.
Published: (2025)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
by: Vasconcelos, Pedro, et al.
Published: (2024)

Navigating the Python Type Jungle
by: Nacu, Andrei, et al.
Published: (2025)

Enhancing Python Programming Education with an AI-Powered Code Helper: Design, Implementation, and Impact
by: Amiri, Sayed Mahbub Hasan, et al.
Published: (2025)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

The Functional Machine Calculus III: Control
by: Heijltjes, Willem
Published: (2025)

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
by: Salgado, Ronie
Published: (2024)

A Core Calculus for Type-safe Product Lines of C Programs
by: Damiani, Ferruccio, et al.
Published: (2026)

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

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

Functional Array Programming in an Extended Pi-Calculus
by: Hüttel, Hans, et al.
Published: (2024)

The Opaque Pointer Design Pattern in Python: Towards a Pythonic PIMPL for Modularity, Encapsulation, and Stability
by: Saravanos, Antonios, et al.
Published: (2026)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
by: Accattoli, Beniamino
Published: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
by: Kobayashi, Naoki
Published: (2024)

Reasonable Space for the $λ$-Calculus, Logarithmically
by: Accattoli, Beniamino, et al.
Published: (2022)

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

A Refined Operational Semantics for FreeCHR
by: Rechenberger, Sascha, et al.
Published: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
by: Rak-amnouykit, Ingkarat, et al.
Published: (2024)

PyDiophantus Maze Game: Play It to Learn Mathematics or Implement It to Learn Game Programming in Python
by: Koupritzioti, Dimitra, et al.
Published: (2020)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
by: Liu, Qin
Published: (2026)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

Automatic Generation of Python Programs Using Context-Free Grammars
by: Yamani, Kamel, et al.
Published: (2024)

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

Homomorphism Calculus for User-Defined Aggregations
by: Wang, Ziteng, et al.
Published: (2025)

Getting Python Types Right with RightTyper
by: Pizzorno, Juan Altmayer, et al.
Published: (2025)

First-Class Refinement Types for Scala
by: Bovel, Matt, et al.
Published: (2026)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
by: Boyer, Matthieu Pierre
Published: (2025)

PyTond: Efficient Python Data Science on the Shoulders of Databases
by: Shahrokhi, Hesam, et al.
Published: (2024)

Phyelds: A Pythonic Framework for Aggregate Computing
by: Aguzzi, Gianluca, et al.
Published: (2026)