λ PL Theory - coyestpineal3l · Scour

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

💻Programming languages Academic

arxiv.org··Lobsters

Strict stability of extension types

⚡Incremental Compilation Academic

Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus

🔍Static Analysis Academic

Formal verification of the S-two AIR

💾Bytecode Academic

nCMD: Benign-Anchored Feature Selection for Imbalanced Network Intrusion Detection

🦀MIR Academic

A Normative Intermediate Representation for ASP-Based Compliance Reasoning

💾Bytecode Academic

Reversible Numeric Composite Key (RNCK)

🦀MIR Academic

Provably Auditable and Safe LLM Agents from Human-Authored Ontologies

💻Programming languages Academic

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies

🦀MIR Academic

Demand-Driven Vulnerability Detection for Cloud Security Posture Management: Removing Human Rule Authoring from the Disclosure-to-Protection Critical Path

🔍Static Analysis Academic

A Reproducible Certificate for the Brass--Sharifi Lower Bound in Lebesgue's Universal Cover Problem

🔍Static Analysis Academic

The Biomimetic Architecture of Software 4.0

💻Programming languages Academic

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

💻Programming languages Academic

Log in to enable infinite scrolling