Copertina

Proceedings of the 2024 miniKanren and Relational Programming Workshop

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Verbitskaia, Ekaterina, Near, Joseph P.
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

Typed Embedding of miniKanren for Functional Conversion
di: Engel, Igor, et al.
Pubblicazione: (2025)

concurrentKanren: miniKanren for parallel execution
di: Dost, Sjoerd
Pubblicazione: (2025)

Relational Reactive Programming: miniKanren for the Web
di: Donahue, Evan
Pubblicazione: (2024)

Six Ways to Implement Divisibility by Three in miniKanren
di: Schreiber, Brett, et al.
Pubblicazione: (2024)

An Empirical Study of Rational Tree Unification for miniKanren
di: Domoratskiy, Eridan, et al.
Pubblicazione: (2025)

Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics
di: Pfingsten, Brysen, et al.
Pubblicazione: (2025)

typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
di: Kudasov, Nikolai, et al.
Pubblicazione: (2024)

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
di: Bates, Mako, et al.
Pubblicazione: (2024)

Can LLMs Enable Verification in Mainstream Programming?
di: Shefer, Aleksandr, et al.
Pubblicazione: (2025)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
di: Chang, Stephen
Pubblicazione: (2024)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
di: Bates, Mako, et al.
Pubblicazione: (2024)

Language-Based Security for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2024)

SMT-Boosted Security Types for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
di: Warren, David S., et al.
Pubblicazione: (2024)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
di: Bohrer, Rose
Pubblicazione: (2025)

Efficient, Portable, Census-Polymorphic Choreographic Programming
di: Bates, Mako, et al.
Pubblicazione: (2024)

Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
di: Costa, Diana, et al.
Pubblicazione: (2024)

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
di: Peters, Kirstin, et al.
Pubblicazione: (2026)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
di: Derakhshan, Farzaneh, et al.
Pubblicazione: (2025)

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

Proceedings Twelfth Workshop on Fixed Points in Computer Science
di: Saurin, Alexis
Pubblicazione: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
di: Nerode, Anil, et al.
Pubblicazione: (2024)

Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models
di: Endrullis, Jörg, et al.
Pubblicazione: (2025)

Proceedings 16th International Workshop on Graph Computation Models
di: Lambers, Leen, et al.
Pubblicazione: (2026)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Chaudhuri, Kaustuv, et al.
Pubblicazione: (2025)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
di: Lang, Frédéric, et al.
Pubblicazione: (2024)

Proceedings 13th International Workshop on Developments in Computational Models
di: Alves, Sandra, et al.
Pubblicazione: (2024)

Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
di: De Angelis, Emanuele, et al.
Pubblicazione: (2025)

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

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
di: Guo, Xiangyu, et al.
Pubblicazione: (2025)

Sixth International Workshop on Languages for Modelling Variability (MODEVAR 2024)
di: Galasso-Carbonnel, Jessie, et al.
Pubblicazione: (2023)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
di: Moine, Alexandre, et al.
Pubblicazione: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Relational Programming with Foundation Models
di: Li, Ziyang, et al.
Pubblicazione: (2024)

Rel: A Programming Language for Relational Data
di: Aref, Molham, et al.
Pubblicazione: (2025)

Leroy: Library Learning for Imperative Programming Languages
di: Bellur, Abhiram, et al.
Pubblicazione: (2024)

KestRel: Relational Verification Using E-Graphs for Program Alignment
di: Dickerson, Robert, et al.
Pubblicazione: (2024)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
di: Cuéllar, Santiago, et al.
Pubblicazione: (2025)

Towards Relational Contextual Equality Saturation
di: Hou, Tyler, et al.
Pubblicazione: (2025)