FLOPS

Keyphrases

Publications

2024

Marcos Viera, Alberto Pardo, João Saraiva
Tabulation with Zippers. FLOPS (2024)
Paul Tarau
System Description: DeepLLM, Casting Dialog Threads into Logic Programs. FLOPS (2024)
Seth Galasso, Matteo Cimini
Language-parameterized Proofs for Functional Languages with Subtyping. FLOPS (2024)
Chun Kit Lam, Lionel Parreaux
Being Lazy When It Counts - Practical Constant-Time Memory Management for Functional Programming. FLOPS (2024)
Supun Abeysinghe, Tiark Rompf
Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming - System Description. FLOPS (2024)
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). FLOPS (2024)
Katsumi Inoue
Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract). FLOPS (2024)
Takashi Suwa, Atsushi Igarashi
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. FLOPS (2024)
Koko Muroya, Makoto Hamana
Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement. FLOPS (2024)
Oleg Kiselyov
MetaOCaml: Ten Years Later - System Description. FLOPS (2024)
Maxime Guillaume, Sylvain Pogodalla, Vincent Tourneur
ACGtk: A Toolkit for Developing and Running Abstract Categorial Grammars. FLOPS (2024)
Dakotah Lambert
System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby. FLOPS (2024)
Jan-Christoph Kassing, Stefan Dollase, Jürgen Giesl
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting. FLOPS (2024)
François Fages
A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics. FLOPS (2024)
Michael Hanus
Inferring Non-failure Conditions for Declarative Programs. FLOPS (2024)
Alexander Vandenbroucke, Tom Schrijvers
Declarative Pearl: Rigged Contracts. FLOPS (2024)

volume 14659, 2024

Functional and Logic Programming - 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings FLOPS 14659 (2024)

2022

volume 13215, 2022

Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings FLOPS 13215 (2022)

2020

volume 12073, 2020

Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings FLOPS 12073 (2020)

2018

volume 10818, 2018

Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings FLOPS 10818 (2018)