default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th FLOPS 2018: Nagoya, Japan
- John P. Gallagher, Martin Sulzmann:
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings. Lecture Notes in Computer Science 10818, Springer 2018, ISBN 978-3-319-90685-0 - Masayuki Mizuno, Eijiro Sumii:
Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. 1-16 - Satoshi Matsuoka:
Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic. 17-32 - Oleg Kiselyov:
\lambda λ to SKI, Semantically - Declarative Pearl. 33-50 - Kazuhiko Sakaguchi
:
Program Extraction for Mutable Arrays. 51-67 - Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu:
Functional Pearl: Folding Polynomials of Polynomials. 68-83 - Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe:
A Functional Perspective on Machine Learning via Programmable Induction and Abduction. 84-98 - Makoto Hamana:
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. 99-115 - Daniel Gall, Thom W. Frühwirth:
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. 116-131 - Martin Avanzini, Ugo Dal Lago, Akihisa Yamada:
On Probabilistic Term Rewriting. 132-148 - Sergio Antoy, Michael Hanus:
Equivalence Checking of Non-deterministic Operations. 149-165 - Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki:
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. 166-181 - Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries with Lex Implications. 182-197 - Adrián Riesco:
Model Checking Parameterized by the Semantics in Maude. 198-213 - Georg Moser, Manuel Schneckenreither:
Automated Amortised Resource Analysis for Term Rewrite Systems. 214-229 - Kanae Tsushima, Olaf Chitil:
A Common Framework Using Expected Types for Several Type Debugging Approaches. 230-246 - Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. 247-263 - Michael Walker, Colin Runciman:
Cheap Remarks About Concurrent Programs. 264-279
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 2026-05-22 02:26 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:
