Imagen de Portada

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Salgado, Ronie
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

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

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

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

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

Opportunistically Parallel Lambda Calculus
por: Mell, Stephen, et al.
Publicado: (2024)

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

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

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)

Deegen: A JIT-Capable VM Generator for Dynamic Languages
por: Xu, Haoran, et al.
Publicado: (2024)

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)

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

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

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

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

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

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

Rows and Capabilities as Modal Effects
por: Tang, Wenhao, et al.
Publicado: (2025)

Typestate via Revocable Capabilities
por: Jia, Songlin, et al.
Publicado: (2025)

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

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

Cerisier: A Program Logic for Attestation in a Capability Machine
por: Rousseau, June, et al.
Publicado: (2026)

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

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

Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees
por: Grannan, Zachary, et al.
Publicado: (2025)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
por: Mutlu, Doruk Alp
Publicado: (2025)

Leveraging Large Language Models for Generalizing Peephole Optimizations
por: Liao, Chunhao, et al.
Publicado: (2026)

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

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

Optimization of the Context-Free Language Reachability Matrix-Based Algorithm
por: Muravev, Ilia
Publicado: (2024)

Tracking Capabilities for Safer Agents
por: Odersky, Martin, et al.
Publicado: (2026)

The Self-Improvement Paradox: Can Language Models Bootstrap Reasoning Capabilities without External Scaffolding?
por: Sun, Yutao, et al.
Publicado: (2025)

A Calculus of Inheritance
por: Yang, Bo
Publicado: (2026)

The Squirrel Parser: A Linear-Time PEG Packrat Parser Capable of Left Recursion and Optimal Error Recovery
por: Hutchison, Luke A. D.
Publicado: (2026)

DSPy Assertions: Computational Constraints for Self-Refining Language Model Pipelines
por: Singhvi, Arnav, et al.
Publicado: (2023)

CompilerGPT: Leveraging Large Language Models for Analyzing and Acting on Compiler Optimization Reports
por: Pirkelbauer, Peter, et al.
Publicado: (2025)

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

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
por: Fayed, Mahmoud Samir
Publicado: (2025)

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
por: Qiu, Lei, et al.
Publicado: (2026)