Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | José Nuno Macedo, Marcos Viera, João Saraiva |
Zipping Strategies and Attribute Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 112-132, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 39-56, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Pietro Barbieri, Elena Zucca |
Enhancing Expressivity of Checked Corecursive Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 1-18, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Basel Shbita, Abha Moitra |
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 171-185, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
Generating C - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 75-93, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Chen, Md. Rabib Noor |
Improving Type Error Reporting for Type Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 19-38, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Shujun Zhang, Naoki Nishida 0001 |
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 262-281, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Masuda, Yukiyoshi Kameyama |
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 133-151, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato 0001 |
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 57-74, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Birthe van den Berg, Tom Schrijvers |
A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 186-204, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Huaduo Wang, Gopal Gupta 0001 |
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 224-242, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus, Atsushi Igarashi (eds.) |
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![Springer, 978-3-030-99460-0 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra |
Translation Certification for Smart Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 94-111, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu |
A Lazy Desugaring System for Evaluating Programs with Sugars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 243-261, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Germán Vidal |
Explanations as Programs in Probabilistic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 205-223, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Rozplokhas, Dmitry Boulytchev |
Scheduling Complexity of Interleaving Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, pp. 152-170, 2022, Springer, 978-3-030-99460-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Hamana |
Theory and Practice of Second-Order Rewriting: Foundation, Evolution, and SOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 3-9, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shin-Cheng Mu, Tsung-Ju Chiang |
Declarative Pearl: Deriving Monadic Quicksort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 124-138, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rui Okura, Yukiyoshi Kameyama |
Language-Integrated Query with Nested Data Structures and Grouping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 139-158, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Saotome, Koji Nakazawa, Daisuke Kimura |
Restriction on Cut in Cyclic Proof System for Symbolic Heaps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 88-105, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oliver Westphal, Janis Voigtländer |
Implementing, and Keeping in Check, a DSL Used in E-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 179-197, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini |
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 106-123, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu |
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 159-178, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Mourad, Matteo Cimini |
System Description: Lang-n-Change - A Tool for Transforming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 198-214, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Keisuke Nakano 0001, Konstantinos Sagonas (eds.) |
Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![Springer, 978-3-030-59024-6 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Bucciarelli, Delia Kesner, Alejandro Ríos 0001, Andrés Viso |
The Bang Calculus Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 13-32, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Alejandro Díaz-Caro |
Functional Pearl: The Distributive λ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 33-49, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal |
An SMT-Based Concolic Testing Tool for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 215-219, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Keigo Imai |
Session Types Without Sophistry - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 66-87, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hainry, Damiano Mazza, Romain Péchoux |
Polynomial Time over the Reals with Parsimony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, pp. 50-65, 2020, Springer, 978-3-030-59024-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 247-263, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
Equivalence Checking of Non-deterministic Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 149-165, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Mizuno, Eijiro Sumii |
Formal Verification of the Correspondence Between Call-by-Need and Call-by-Name. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 1-16, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
\lambda λ to SKI, Semantically - Declarative Pearl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 33-50, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki |
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 166-181, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiko Sakaguchi |
Program Extraction for Mutable Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 51-67, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001 |
Model Checking Parameterized by the Semantics in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 198-213, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Thorsten Ehlers, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
Breaking Symmetries with Lex Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 182-197, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georg Moser, Manuel Schneckenreither |
Automated Amortised Resource Analysis for Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 214-229, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Gall, Thom W. Frühwirth |
Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 116-131, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Hamana |
Polymorphic Rewrite Rules: Confluence, Type Inference, and Instance Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 99-115, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kanae Tsushima, Olaf Chitil |
A Common Framework Using Expected Types for Several Type Debugging Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 230-246, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Martin Avanzini, Ugo Dal Lago, Akihisa Yamada 0002 |
On Probabilistic Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 132-148, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Walker 0004, Colin Runciman |
Cheap Remarks About Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 264-279, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe |
A Functional Perspective on Machine Learning via Programmable Induction and Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 84-98, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | John P. Gallagher, Martin Sulzmann (eds.) |
Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![Springer, 978-3-319-90685-0 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Matsuoka |
Direct Encodings of NP-Complete Problems into Horn Sequents of Multiplicative Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 17-32, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chen-Mou Cheng, Ruey-Lin Hsu, Shin-Cheng Mu |
Functional Pearl: Folding Polynomials of Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, pp. 68-83, 2018, Springer, 978-3-319-90685-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Taus Brock-Nannestad |
Space-Efficient Planar Acyclicity Constraints - A Declarative Pearl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 94-108, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wouter Swierstra, João Alpuim |
From Proposition to Program - Embedding the Refinement Calculus in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 29-44, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Akimasa Morihata |
Incremental Computing with Abstract Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 215-231, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ki Yung Ahn, Andrea Vezzosi |
Executable Relational Specifications of Polymorphic Type Systems Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 109-125, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Peng Fu 0001, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond |
Proof Relevant Corecursive Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 126-143, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Yallop, David Sheets, Anil Madhavapeddy |
Declarative Foreign Function Binding Through Generic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 198-214, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Ueda |
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 1-11, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Praveen Narayanan, Jacques Carette, Wren Romano, Chung-chieh Shan, Robert Zinkov |
Probabilistic Inference by Program Transformation in Hakaru (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 62-79, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá |
Polymorphic Types in Erlang Function Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 181-197, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Markus Triska |
The Boolean Constraint Solver of SWI-Prolog (System Description). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 45-61, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rémy Haemmerlé, Pedro López-García 0001, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo |
A Transformational Approach to Parametric Accumulated-Cost Static Profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 163-180, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler |
A Coq Library for Internal Verification of Running-Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 144-162, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Blot, Pierre-Évariste Dagand, Julia Lawall |
From Sets to Bits in Coq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 12-28, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ian Mackie, Shinya Sato |
An Interaction Net Encoding of Gödel's System T - Declarative Pearl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 80-93, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | André van Delft, Anatoliy Kmetyuk |
Declarative Programming with Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings, pp. 232-251, 2016, Springer, 978-3-319-29603-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov, Andy King (eds.) |
Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![Springer, 978-3-319-29603-6 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sheng Chen 0008, Martin Erwig |
Guided Type Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 35-51, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José Pedro Magalhães |
Generic Programming with Multiple Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 136-151, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jael Kriener, Andy King |
Semantics for Prolog with Cut - Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 270-284, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Bahr |
Proving Correctness of Compilers Using Structured Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 221-237, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy Yallop, Leo White |
Lightweight Higher-Kinded Polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 119-135, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001 |
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 52-68, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jorge Luis Sacchini |
Linear Sized Types in the Calculus of Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 169-185, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann, Kenny Zhuo Ming Lu |
POSIX Regular Expression Parsing with Derivatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 203-220, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jan Hoffmann 0002, Zhong Shao |
Type-Based Amortized Resource Analysis with Integers and Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 152-168, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hyunik Na, Sukyoung Ryu |
A New Formalization of Subtyping to Match Subclasses to Subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 238-252, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
The Design and Implementation of BER MetaOCaml - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 86-102, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
How Many Numbers Can a Lambda-Term Contain? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 302-318, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Eijiro Sumii (eds.) |
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![Springer, 978-3-319-07150-3 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akihisa Yamada 0002, Sarah Winkler, Nao Hirokawa, Aart Middeldorp |
AC-KBO Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 319-335, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojuan Cai, Mizuhito Ogawa |
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 336-352, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cláudio Amaral, Mário Florido, Vítor Santos Costa |
PrologCheck - Property-Based Testing in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 1-17, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Akimasa Morihata, Masato Koishi, Atsushi Ohori |
Dynamic Programming via Thinning and Incrementalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 186-202, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Balabonski, François Pottier, Jonathan Protzenko |
Type Soundness and Race Freedom for Mezzo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 253-269, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Koen Claessen, Jonas Duregård, Michal H. Palka |
Generating Constrained Random Data with Uniform Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 18-34, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yuichiro Hanada, Atsushi Igarashi |
On Cross-Stage Persistence in Multi-Stage Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 103-118, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin |
Constraint Logic Programming for Hedges: A Semantic Reconstruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 285-301, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Karim Barkati, Haisheng Wang, Pierre Jouvelot |
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings, pp. 69-85, 2014, Springer, 978-3-319-07150-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Declarative Debugging of Wrong and Missing Answers for SQL Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 73-87, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Weirich |
Dependently-Typed Programming in GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 3, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez |
Extending the TOY System with the ECLiPSe Solver over Sets of Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 120-135, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Biernacki, Sergueï Lenglet |
Normal Form Bisimulations for Delimited-Control Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 47-61, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gerlof Bouma |
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 62-72, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Luca Paolini |
Call-by-Value Solvability, Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 4-16, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Asami Tanaka, Yukiyoshi Kameyama |
A Call-by-Name CPS Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 260-274, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Castiñeiras, Fernando Sáenz-Pérez |
Improving the Performance of FD Constraint Solving in a CFLP System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 88-103, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Lobachev |
Parallel Computation Skeletons with Premature Termination Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 197-212, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi 0001 |
Exact Flow Analysis by Higher-Order Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 275-289, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu |
Explicit Binds: Effortless Efficiency with and without Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 317-331, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Arthur Michener Peters |
Compiling a Functional Logic Language: The Basic Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 17-31, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey |
A General Implementation Framework for Tabled CLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 104-119, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato |
A Data Flow Language for Hybrid Query and Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings, pp. 228-242, 2012, Springer, 978-3-642-29821-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|