Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFLOPS 2024, Kumamoto, Japan
- Jeremy Gibbons
, Dale Miller:
Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings. Lecture Notes in Computer Science 14659, Springer 2024, ISBN 978-981-97-2299-0
Extended Abstract
- Katsumi Inoue:
Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract). 3-9
Rewriting
- Maxime Guillaume, Sylvain Pogodalla, Vincent Tourneur:
ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars. 13-30 - Koko Muroya, Makoto Hamana:
Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement. 31-61 - Jan-Christoph Kassing, Stefan Dollase, Jürgen Giesl:
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. 62-80
Algebra
- Marcos Viera, Alberto Pardo, João Saraiva:
Tabulation with Zippers. 83-98 - Alexander Vandenbroucke, Tom Schrijvers:
Declarative Pearl: Rigged Contracts. 99-114
Applications
- Paul Tarau:
System Description: DeepLLM, Casting Dialog Threads into Logic Programs. 117-134 - François Fages:
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. 135-150 - Björn Lellmann, Philipp Marek, Markus Triska:
Grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description). 151-164
Program Analysis
- Michael Hanus:
Inferring Non-failure Conditions for Declarative Programs. 167-187 - Chun Kit Lam, Lionel Parreaux:
Being Lazy When It Counts - Practical Constant-Time Memory Management for Functional Programming. 188-216
Metaprogramming
- Oleg Kiselyov:
MetaOCaml: Ten Years Later - System Description. 219-236 - Takashi Suwa, Atsushi Igarashi:
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. 237-272 - Supun Abeysinghe, Tiark Rompf:
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description. 273-288
Proofs
- Seth Galasso, Matteo Cimini:
Language-parameterized Proofs for Functional Languages with Subtyping. 291-310 - Dakotah Lambert:
System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby. 311-328
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-19 20:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
