Buchumschlag

Circular Programs and Self-Referential Structures

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Allison, Lloyd
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages D.1; E.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Seamless, Correct, and Generic Programming over Serialised Data
von: Allais, Guillaume
Veröffentlicht: (2023)

Conversational Concurrency
von: Garnock-Jones, Tony
Veröffentlicht: (2024)

Surreal Arithmetic, Lazily
von: Allison, Lloyd
Veröffentlicht: (2026)

Memory Consistency and Program Transformations
von: Gopalakrishnan, Akshay, et al.
Veröffentlicht: (2024)

Completing the Functional Approach in Object-Oriented Languages
von: Pluemicke, Martin
Veröffentlicht: (2024)

Relational Reactive Programming: miniKanren for the Web
von: Donahue, Evan
Veröffentlicht: (2024)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
von: Allison, Lloyd
Veröffentlicht: (2025)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
von: Yang, Tengshun, et al.
Veröffentlicht: (2024)

Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
von: Kaufman, Samuel J., et al.
Veröffentlicht: (2025)

Simple Modal Types for Functional Reactive Programming
von: Bahr, Patrick
Veröffentlicht: (2025)

Modular Synthesis of Efficient Quantum Uncomputation
von: Venev, Hristo, et al.
Veröffentlicht: (2024)

A Two-Phase Infinite/Finite Low-Level Memory Model
von: Beck, Calvin, et al.
Veröffentlicht: (2024)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
von: Sano, Jin, et al.
Veröffentlicht: (2025)

Teaching Introductory Functional Programming Using Haskelite
von: Vasconcelos, Pedro
Veröffentlicht: (2025)

SpaDA: A Spatial Dataflow Architecture Programming Language
von: Gianinazzi, Lukas, et al.
Veröffentlicht: (2025)

Polymorphic Records for Dynamic Languages
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

Stratified Type Theory
von: Chan, Jonathan, et al.
Veröffentlicht: (2023)

A Calculus of Inheritance
von: Yang, Bo
Veröffentlicht: (2026)

Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
von: Mishra, Ashish, et al.
Veröffentlicht: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
von: Volkov, Dmitri
Veröffentlicht: (2026)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

ScaMaha: A Tool for Parsing, Analyzing, and Visualizing Object-Oriented Software Systems
von: Al-Msie'deen, Ra'Fat
Veröffentlicht: (2025)

Grounded Language Design for Lightweight Diagramming for Formal Methods
von: Prasad, Siddhartha, et al.
Veröffentlicht: (2024)

Towards Industrial-scale Product Configuration
von: Baumeister, Joachim, et al.
Veröffentlicht: (2025)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
von: Guerreiro, Miguel de Oliveira
Veröffentlicht: (2025)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
von: Boyer, Matthieu Pierre
Veröffentlicht: (2025)

The Complexity of Testing Message-Passing Concurrency
von: Shi, Zheng, et al.
Veröffentlicht: (2025)

Semantics for 2D Rasterization
von: Kulkarni, Bhargav, et al.
Veröffentlicht: (2026)

cpp11armadillo: An R Package to Use the Armadillo C++ Library
von: Sepúlveda, Mauricio Vargas, et al.
Veröffentlicht: (2024)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
von: Siek, Jeremy G.
Veröffentlicht: (2024)

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
von: Accattoli, Beniamino, et al.
Veröffentlicht: (2025)

A New Interaction Concept for Interactive and Autoactive Program Verification
von: Pfeifer, Wolfram, et al.
Veröffentlicht: (2026)

Modal Verification Patterns for Systems Software
von: Kuru, Ismail, et al.
Veröffentlicht: (2025)

Equivalence of Applicative Functors and Multifunctors
von: Abel, Andreas
Veröffentlicht: (2024)

Extending the Quantitative Pattern-Matching Paradigm
von: Alves, Sandra, et al.
Veröffentlicht: (2024)

Modular GPU Programming with Typed Perspectives
von: Bansal, Manya, et al.
Veröffentlicht: (2025)

What if we have 90 minutes only to teach programming?
von: Egri-Nagy, Attila
Veröffentlicht: (2026)

Optimal Software Pipelining using an SMT-Solver
von: Roorda, Jan-Willem
Veröffentlicht: (2026)

On Modular Termination Proofs of General Logic Programs
von: Bossi, Annalisa, et al.
Veröffentlicht: (2000)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata
von: Zhou, Zhe, et al.
Veröffentlicht: (2024)