Cover Image

Let's Take Esoteric Programming Languages Seriously

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Singer, Jeremy, Draper, Steve
Format:	Preprint
Published:	2025
Subjects:	Programming Languages D.3.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
by: Nagy, Shaan, et al.
Published: (2025)

Investigating the Energy Consumption of C++ and Java Solutions Mined from a Programming Contest Site
by: de Medeiros, Sérgio Queiroz, et al.
Published: (2024)

WasmWalker: Path-based Code Representations for Improved WebAssembly Program Analysis
by: Shirzad, Mohammad Robati, et al.
Published: (2024)

AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM
by: Esmaeilsabzali, Shahram, et al.
Published: (2025)

From Batch to Stream: Automatic Generation of Online Algorithms
by: Wang, Ziteng, et al.
Published: (2024)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
by: Mishra, Ashish, et al.
Published: (2025)

Program Analysis via Multiple Context Free Language Reachability
by: Conrado, Giovanna Kobus, et al.
Published: (2024)

Multi-Language Benchmark Generation via L-Systems
by: da Silva, Vinícius Francisco, et al.
Published: (2025)

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

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
by: Zhou, Zhe, et al.
Published: (2024)

Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2023)

Statically Contextualizing Large Language Models with Typed Holes
by: Blinn, Andrew, et al.
Published: (2024)

Modular GPU Programming with Typed Perspectives
by: Bansal, Manya, et al.
Published: (2025)

VeriFx: Correct Replicated Data Types for the Masses
by: De Porre, Kevin, et al.
Published: (2022)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
by: Guo, Xiangyu, et al.
Published: (2024)

Improving stableKanren's Backward Compatibility
by: Guo, Xiangyu, et al.
Published: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
by: Wang, Chengpeng, et al.
Published: (2024)

Unveiling Ruby: Insights from Stack Overflow and Developer Survey
by: Akbarpour, Nikta, et al.
Published: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

Protean Compiler: An Agile Framework to Drive Fine-grain Phase Ordering
by: Ashouri, Amir H., et al.
Published: (2026)

ACPO: AI-Enabled Compiler Framework
by: Ashouri, Amir H., et al.
Published: (2023)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
by: McCann, Alan L.
Published: (2026)

Order positive fields II
by: Korovina, Margarita, et al.
Published: (2025)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
by: Erhard, Julian, et al.
Published: (2024)

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

Relational Reactive Programming: miniKanren for the Web
by: Donahue, Evan
Published: (2024)

Memory Consistency and Program Transformations
by: Gopalakrishnan, Akshay, et al.
Published: (2024)

SCTc-TE: A Comprehensive Formulation and Benchmark for Temporal Event Forecasting
by: Ma, Yunshan, et al.
Published: (2023)

Critical Design Strategy: a Method for Heuristically Evaluating Visualisation Designs
by: Roberts, Jonathan C., et al.
Published: (2025)

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

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
by: Allison, Lloyd
Published: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
by: Volkov, Dmitri
Published: (2026)

Gradual Metaprogramming
by: Chen, Tianyu, et al.
Published: (2025)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
by: Chen, Tianyu, et al.
Published: (2026)

CTF as a Service: A reproducible and scalable infrastructure for cybersecurity training
by: Miguel, Carlos Jimeno, et al.
Published: (2026)

Teaching Introductory Functional Programming Using Haskelite
by: Vasconcelos, Pedro
Published: (2025)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
by: Yang, Tengshun, et al.
Published: (2024)