Copertina

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Vasconcelos, Pedro, Marques, Rodrigo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Teaching Introductory Functional Programming Using Haskelite
di: Vasconcelos, Pedro
Pubblicazione: (2025)

Towards Algebraic Subtyping for Extensible Records
di: Marques, Rodrigo, et al.
Pubblicazione: (2024)

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

Coverage Semantics for Dependent Pattern Matching
di: Eremondi, Joseph, et al.
Pubblicazione: (2025)

A Calculus for Unreachable Code
di: Zhong, Peter, et al.
Pubblicazione: (2024)

Conditional Nested Pattern Matching in Interaction Net
di: Sato, Shinya
Pubblicazione: (2024)

A Gradual Probabilistic Lambda Calculus
di: Ye, Wenjia, et al.
Pubblicazione: (2026)

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

Opportunistically Parallel Lambda Calculus
di: Mell, Stephen, et al.
Pubblicazione: (2024)

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

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

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

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

Pattern Matching in AI Compilers and its Formalization (Extended Version)
di: Cutler, Joseph W., et al.
Pubblicazione: (2024)

Contextual Metaprogramming for Session Types
di: Ângelo, Pedro, et al.
Pubblicazione: (2026)

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

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

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

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

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

Generic Reduction-Based Interpreters (Extended Version)
di: Bach, Casper
Pubblicazione: (2025)

The Functional Machine Calculus III: Control
di: Heijltjes, Willem
Pubblicazione: (2025)

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

Abstract Interpretation-Based Data Leakage Static Analysis
di: Drobnjaković, Filip, et al.
Pubblicazione: (2022)

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

Linear Contextual Metaprogramming and Session Types
di: Ângelo, Pedro, et al.
Pubblicazione: (2024)

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

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

Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
di: Ferreiro, Daniela, et al.
Pubblicazione: (2026)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
di: Schaefer, Steven, et al.
Pubblicazione: (2025)

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

A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
di: Erata, Ferhat, et al.
Pubblicazione: (2024)

Predictive Monitoring with Strong Trace Prefixes
di: Ang, Zhendong, et al.
Pubblicazione: (2024)

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

Checking Consistency of Event-driven Traces
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2025)

Program Synthesis from Partial Traces
di: Ferreira, Margarida, et al.
Pubblicazione: (2025)

From Traces to Program Incorrectness: A Type-Theoretic Approach
di: Yuan, Yongwei, et al.
Pubblicazione: (2025)

Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms
di: Alaoui, Ziad Ismaili, et al.
Pubblicazione: (2025)

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

Local Type Inference for Context-Free Session Types
di: Almeida, Bernardo, et al.
Pubblicazione: (2025)