| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Tom Schrijvers, Peter Thiemann (eds.) |
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings  |
FLOPS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Codish |
Programming with Boolean Satisfaction. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Luca Paolini |
Call-by-Value Solvability, Revisited. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata |
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov |
Iteratees. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Triska |
The Finite Domain Constraint Solver of SWI-Prolog. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato |
A Data Flow Language for Hybrid Query and Programming Languages. |
FLOPS |
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. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tachio Terauchi |
Automated Verification of Higher-Order Functional Programs. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin |
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Arthur Peters |
Compiling a Functional Logic Language: The Basic Scheme. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Lobachev |
Parallel Computation Skeletons with Premature Termination Property. |
FLOPS |
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. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Weirich |
Dependently-Typed Programming in GHC. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Asami Tanaka, Yukiyoshi Kameyama |
A Call-by-Name CPS Hierarchy. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi |
Exact Flow Analysis by Higher-Order Model Checking. |
FLOPS |
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. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neda Saeedloei, Gopal Gupta |
Coinductive Constraint Logic Programming. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Toronto, Jay McCarthy |
Computing in Cantor's Paradise with λ ZFC. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoichi Hirai |
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Biernacki, Sergueï Lenglet |
Normal Form Bisimulations for Delimited-Control Operators. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Declarative Debugging of Wrong and Missing Answers for SQL Views. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerlof Bouma |
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl). |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu |
Explicit Binds: Effortless Efficiency with and without Trees. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Hamana |
Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jael Kriener, Andy King |
Mutual Exclusion by Interpolation. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
An Integrated Distance for Atoms. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Haftmann, Tobias Nipkow |
Code Generation via Higher-Order Rewrite Systems. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Berardi, Makoto Tatsuta |
Internal Normalization, Compilation and Decompilation for System Fbh. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Avanzini, Georg Moser |
Complexity Analysis by Graph Rewriting. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Álvez, Francisco Javier López-Fraguas |
A Complete Axiomatization of Strict Equality. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Pablo Buiras, César Kunz |
A Functional Framework for Result Checking. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann, Martin Sulzmann |
Tag-Free Combinators for Binding-Time Polymorphic Program Generation. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Blume, Naoki Kobayashi, Germán Vidal (eds.) |
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic A. Orchard, Tom Schrijvers |
Haskell Type Constraints Unleashed. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brigitte Pientka |
Beluga: Programming with Dependent Types, Contextual Data, and Contexts. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Saurin |
Standardization and Böhm Trees for Lambdaµ-Calculus. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel |
Towards Normalization by Evaluation for the betaeta-Calculus of Constructions. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara |
Solving Constraint Satisfaction Problems with SAT Technology. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Akimasa Morihata, Kiminori Matsuzaki |
Automatic Parallelization of Recursive Functions Using Quantifier Elimination. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny |
Defunctionalized Interpreters for Call-by-Need Evaluation. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mischa Dieterle, Jost Berthold, Rita Loogen |
A Skeleton for Distributed Work Pools in Eden. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
Applying Constraint Logic Programming to SQL Test Case Generation. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Nishida 0001, Masahiko Sakai |
Proving Injectivity of Functions via Program Inversion in Term Rewriting. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos F. Sagonas |
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Rémy, Boris Yakobowski |
A Church-Style Intermediate Language for MLF. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov |
Delimited Control in OCaml, Abstractly and Concretely: System Description. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury |
PiSigma: Dependent Types without the Sugar. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Ketema, Jakob Grue Simonsen |
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and lambda-Calculus. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob M. Howe, Andy King |
A Pearl on SAT Solving in Prolog. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Seidel, Janis Voigtländer |
Automatically Generating Counterexamples to Naive Free Theorems. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Susana Nieva, Jaime Sánchez-Hernández, Fernando Sáenz-Pérez |
Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck |
Optimizing Compilation of CHR with Rule Priorities. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan |
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Germán Vidal |
Termination of Narrowing in Left-Linear Constructor Systems. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Julien |
Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Rewriting and Call-Time Choice: The HO Case. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Unno, Naoki Kobayashi |
On-Demand Refinement of Dependent Types. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael Caballero, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda |
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Christiansen, Sebastian Fischer |
EasyCheck - Test Data for Free. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Encapsulated Search, Testing, Nondeterminism, Curry |
| 1 | Satoshi Kobayashi |
A New Translation for Semi-classical Theories - Backtracking without CPS. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel, Thierry Coquand, Peter Dybjer |
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Garrigue, Manuel V. Hermenegildo (eds.) |
Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings |
FLOPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Veena S. Mellarkod, Michael Gelfond |
Integrating Answer Set Reasoning with Constraint Solving Techniques. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rawle Prince, Neil Ghani, Conor McBride |
Proving Properties about Lists Using Containers. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Álvez, Paqui Lucio |
A Generalization of the Folding Rule for the Clark-Kunen Semantics. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Tatsuta |
Types for Hereditary Head Normalizing Terms. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Schaub |
Model-Based Knowledge Representation and Reasoning Via Answer Set Programming. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Quantitative Logic Programming Revisited. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Quantitative Logic Programming, Qualification Domains, Qualification Constraints |
| 1 | Naoki Kobayashi |
Substructural Type Systems for Program Analysis. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hirofumi Yokouchi |
Strictness Analysis Algorithms Based on an Inequality System for Lazy Types. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton |
Undoing Dynamic Typing (Declarative Pearl). |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Janis Voigtländer |
Semantics and Pragmatics of New Shortcut Fusion Rules. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yukiyoshi Kameyama, Takuo Yonezawa |
Typed Dynamic Control Operators for Delimited Continuations. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation |
| 1 | Martin Avanzini, Georg Moser |
Complexity Analysis by Rewriting. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Discolo, Tim Harris, Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
Lock Free Data Structures Using STM in Haskell. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Grégoire, Laurent Théry, Benjamin Werner |
A Computational Approach to Pocklington Certificates in Type Theory. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Julien Forest, David Pichardie, Vlad Rusu |
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey |
A Framework for Extended Algebraic Data Types. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rinus Plasmeijer, Peter Achten |
iData for the World Wide Web - Programming Interconnected Web Forms. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
server side web programming, functional programming, web forms |
| 1 | Xuan Li, Andy King, Lunjin Lu |
Lazy Set-Sharing Analysis. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira |
"Scrap Your Boilerplate" Reloaded. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy L. Steele Jr. |
Parallel Programming and Parallel Abstractions in Fortress. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Bruce Findler, Matthias Blume |
Contracts as Pairs of Projections. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Marion, Romain Péchoux |
Resource Analysis by Sup-interpretation. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi |
Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Akihiko Tozawa |
XML Type Checking Using High-Level Tree Transducer. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo |
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
Functional and Logic- Functional Programming, Logic, Lazy Evaluation, Declarative Languages, Higher Order |
| 1 | Ralf Hinze, Johan Jeuring, Andres Löh |
Typed Contracts for Functional Programming. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Roy |
Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Masami Hagiya, Philip Wadler (eds.) |
Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings |
FLOPS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Atze Dijkstra, S. Doaitse Swierstra |
Ruler: Programming Type Rules. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | James Avery |
Size-Change Termination and Bound Analysis. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Thiemann |
WASH Server Pages. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Pimlott, Oleg Kiselyov |
Soutei, a Logic-Based Trust-Management System. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mizuhito Ogawa |
Complete Axiomatization of an Algebraic Construction of Graphs. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Hirschowitz |
Rigid Mixin Modules. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo |
Multivariant Non-failure Analysis via Standard Abstract Interpretation. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent van Oostrom |
Sub-Birkhoff. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Bueno, Maria J. García de la Banda |
Set-Sharing Is Not Always Redundant for Pair-Sharing. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")