Buchumschlag

Relational Reactive Programming: miniKanren for the Web

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

Functional vs. Object-Oriented: Comparing How Programming Paradigms Affect the Architectural Characteristics of Systems
von: de Sousa, Briza Mel Dias, et al.
Veröffentlicht: (2025)

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

Adaptable TeaStore: A Choreographic Approach
von: De Palma, Giuseppe, et al.
Veröffentlicht: (2025)

Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
von: Grossman, Thomas A.
Veröffentlicht: (2008)

Committing to the bit: Relational programming with semiring arrays and SAT solving
von: Volkov, Dmitri, et al.
Veröffentlicht: (2025)

Abstracting Effect Systems for Algebraic Effect Handlers
von: Yoshioka, Takuma, et al.
Veröffentlicht: (2024)

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

AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI
von: Pohle, Clemens
Veröffentlicht: (2026)

Memory as Metabolism: A Design for Companion Knowledge Systems
von: Miteski, Stefan
Veröffentlicht: (2026)

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

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
von: Suwa, Takashi, et al.
Veröffentlicht: (2026)

Teaching Complex Systems based on Microservices
von: Ferreira, Renato Cordeiro, et al.
Veröffentlicht: (2025)

Higress-RAG: A Holistic Optimization Framework for Enterprise Retrieval-Augmented Generation via Dual Hybrid Retrieval, Adaptive Routing, and CRAG
von: Lin, Weixi
Veröffentlicht: (2025)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
von: McCann, Alan L.
Veröffentlicht: (2026)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
von: Parrinha, Francisco, et al.
Veröffentlicht: (2026)

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

Weak-linearity, globality and in-place update
von: Gramaglia, Hector
Veröffentlicht: (2024)

Siren Federate: Bridging document, relational, and graph models for exploratory graph analysis
von: Bordea, Georgeta, et al.
Veröffentlicht: (2025)

The concept of class invariant in object-oriented programming
von: Meyer, Bertrand, et al.
Veröffentlicht: (2021)

Hector: An Efficient Programming and Compilation Framework for Implementing Relational Graph Neural Networks in GPU Architectures
von: Wu, Kun, et al.
Veröffentlicht: (2023)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
von: Csimma, Viktor
Veröffentlicht: (2026)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
von: Mirji, Vittal
Veröffentlicht: (2026)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Hybrid Quantum-HPC Middleware Systems for Adaptive Resource, Workload and Task Management
von: Mantha, Pradeep, et al.
Veröffentlicht: (2026)

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

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

SmellBench: Evaluating LLM Agents on Architectural Code Smell Repair
von: Dinu, Ion George, et al.
Veröffentlicht: (2026)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
von: Ouardi, Doha, et al.
Veröffentlicht: (2024)

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

Engineering RAG Systems for Real-World Applications: Design, Development, and Evaluation
von: Hasan, Md Toufique, 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)

CUNQA: a Distributed Quantum Computing emulator for HPC
von: Vázquez-Pérez, Jorge, et al.
Veröffentlicht: (2025)

Code Less to Code More: Streamlining Language Server Protocol and Type System Development for Language Families
von: Bruzzone, Federico, et al.
Veröffentlicht: (2025)

Software Development Aspects of Integrating Linear Algebra Libraries
von: Koch, Marcel, et al.
Veröffentlicht: (2025)

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

Offloading tracing for real-time systems using a scalable cloud infrastructure
von: Schmidt, David Jannis, et al.
Veröffentlicht: (2025)

xML-workFlow: an end-to-end explainable scikit-learn workflow for rapid biomedical experimentation
von: Tran, Khoa A., et al.
Veröffentlicht: (2025)

Spreadsheet Engineering: A Research Framework
von: Grossman, Thomas A.
Veröffentlicht: (2007)

Message-Observing Sessions
von: Kavanagh, Ryan, et al.
Veröffentlicht: (2024)