Imagen de Portada

Opportunistically Parallel Lambda Calculus

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mell, Stephen, Kallas, Konstantinos, Zdancewic, Steve, Bastani, Osbert
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

PopPy: Opportunistically Exploiting Parallelism in Python Compound AI Applications
por: Mell, Stephen, et al.
Publicado: (2026)

Optimal Program Synthesis via Abstract Interpretation
por: Mell, Stephen, et al.
Publicado: (2026)

Synthesizing Trajectory Queries from Examples
por: Mell, Stephen, et al.
Publicado: (2026)

A Fast, Reliable, and Secure Programming Language for LLM Agents with Code Actions
por: Mell, Stephen, et al.
Publicado: (2025)

Functional Meaning for Parallel Streaming
por: Rioux, Nick, et al.
Publicado: (2025)

Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
por: Ramalingam, Ramya, et al.
Publicado: (2024)

A Gradual Probabilistic Lambda Calculus
por: Ye, Wenjia, et al.
Publicado: (2026)

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
por: Barnaby, Celeste, et al.
Publicado: (2026)

Active Learning for Neurosymbolic Program Synthesis
por: Barnaby, Celeste, et al.
Publicado: (2025)

The Lambda Calculus is Quantifiable
por: Maestracci, Valentin, et al.
Publicado: (2024)

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

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

Structural Temporal Logic for Mechanized Program Verification
por: Ioannidis, Eleftherios, et al.
Publicado: (2024)

Compiling to recurrent neurons
por: Velez-Ginorio, Joey, et al.
Publicado: (2025)

Compiling to linear neurons
por: Velez-Ginorio, Joey, et al.
Publicado: (2025)

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

A Two-Phase Infinite/Finite Low-Level Memory Model
por: Beck, Calvin, et al.
Publicado: (2024)

HELIX: Verified compilation of cyber-physical control systems to LLVM IR
por: Zaliva, Vadim, et al.
Publicado: (2026)

Intersection Types for a Computational Lambda-Calculus with Global State
por: de'Liguoro, Ugo, et al.
Publicado: (2021)

Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings
por: Xu, Kan, et al.
Publicado: (2021)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
por: Bertrand, Meven Lennon, et al.
Publicado: (2026)

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

Monk: Opportunistic Scheduling to Delay Horizontal Scaling
por: Shimchenko, Marina, et al.
Publicado: (2025)

Verifying Fault-Tolerance of Quantum Error Correction Codes
por: Chen, Kean, et al.
Publicado: (2025)

Caruca: Effective and Efficient Specification Mining for Opaque Software Components
por: Lamprou, Evangelos, et al.
Publicado: (2025)

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

Lax Modal Lambda Calculi
por: Valliappan, Nachiappan
Publicado: (2025)

Asymptotic Normality of Generalized Low-Rank Matrix Sensing via Riemannian Geometry
por: Bastani, Osbert
Publicado: (2024)

A Calculus for Unreachable Code
por: Zhong, Peter, et al.
Publicado: (2024)

Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting
por: Young, Halley, et al.
Publicado: (2024)

TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction
por: Li, Shuo, et al.
Publicado: (2023)

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

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

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

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

pyeb: A Python Implementation of Event-B Refinement Calculus
por: Cataño, Néstor
Publicado: (2025)

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

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

The Functional Machine Calculus III: Control
por: Heijltjes, Willem
Publicado: (2025)

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