Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tachio Terauchi |
Automated Verification of Higher-Order Functional Programs. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jael Kriener, Andy King |
Mutual Exclusion by Interpolation. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Markus Triska |
The Finite Domain Constraint Solver of SWI-Prolog. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Oleg Kiselyov |
Iteratees. |
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 | Akimasa Morihata |
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish |
Programming with Boolean Satisfaction. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tom Schrijvers, Peter Thiemann 0001 (eds.) |
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings |
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 | Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata 0001, Alexis Saurin |
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Neda Saeedloei, Gopal Gupta 0001 |
Coinductive Constraint Logic Programming. |
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 | Martin Avanzini, Georg Moser |
Complexity Analysis by Graph Rewriting. |
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 | Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury |
PiSigma: Dependent Types without the Sugar. |
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 | Didier Rémy, Boris Yakobowski |
A Church-Style Intermediate Language for MLF. |
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 | Konstantinos Sagonas |
Using Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs. |
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 | Mischa Dieterle, Jost Berthold, Rita Loogen |
A Skeleton for Distributed Work Pools in Eden. |
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 | Daniel Seidel, Janis Voigtländer |
Automatically Generating Counterexamples to Naive Free Theorems. |
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 | Rafael Caballero 0001, 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 | 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 | Andreas Abel 0001 |
Towards Normalization by Evaluation for the betaeta-Calculus of Constructions. |
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 | Jacob M. Howe, Andy King |
A Pearl on SAT Solving in Prolog. |
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 | 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 | Gilles Barthe, Pablo Buiras, César Kunz |
A Functional Framework for Result Checking. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexis Saurin |
Standardization and Böhm Trees for Lambdaµ-Calculus. |
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 | Dominic A. Orchard, Tom Schrijvers |
Haskell Type Constraints Unleashed. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001, Martin Sulzmann |
Tag-Free Combinators for Binding-Time Polymorphic Program Generation. |
FLOPS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Blume, Naoki Kobayashi 0001, 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 | 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 | Rawle C. S. Prince, Neil Ghani, Conor McBride |
Proving Properties about Lists Using Containers. |
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 | Satoshi Kobayashi |
A New Translation for Semi-classical Theories - Backtracking without CPS. |
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 | Javier Álvez, Paqui Lucio |
A Generalization of the Folding Rule for the Clark-Kunen Semantics. |
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 | 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 | 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 DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, 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 | Hiroshi Unno 0001, Naoki Kobayashi 0001 |
On-Demand Refinement of Dependent Types. |
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 | Andreas Abel 0001, Thierry Coquand, Peter Dybjer |
On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta |
Types for Hereditary Head Normalizing Terms. |
FLOPS |
2008 |
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 | Germán Vidal |
Termination of Narrowing in Left-Linear Constructor Systems. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Veena S. Mellarkod, Michael Gelfond |
Integrating Answer Set Reasoning with Constraint Solving Techniques. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Avanzini, Georg Moser |
Complexity Analysis by Rewriting. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jan Christiansen, Sebastian Fischer 0001 |
EasyCheck - Test Data for Free. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Encapsulated Search, Testing, Nondeterminism, Curry |
1 | Nick Benton |
Undoing Dynamic Typing (Declarative Pearl). |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
Substructural Type Systems for Program Analysis. |
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 | 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 | 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 | Ralf Hinze, Johan Jeuring, Andres Löh |
Typed Contracts for Functional Programming. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | James Avery |
Size-Change Termination and Bound Analysis. |
FLOPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Akihiko Tozawa |
XML Type Checking Using High-Level Tree Transducer. |
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 | Peter Thiemann 0001 |
WASH Server Pages. |
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 | 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 | 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 | Ralf Hinze, Andres Löh, Bruno C. d. S. Oliveira |
"Scrap Your Boilerplate" Reloaded. |
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 | Robert Bruce Findler, Matthias Blume |
Contracts as Pairs of Projections. |
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 | Andrew Pimlott, Oleg Kiselyov |
Soutei, a Logic-Based Trust-Management System. |
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 | Anthony Discolo, Tim Harris 0001, Simon Marlow, Simon L. Peyton Jones, Satnam Singh |
Lock Free Data Structures Using STM in Haskell. |
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 DOI BibTeX RDF |
|
1 | Xuan Li, Andy King, Lunjin Lu |
Lazy Set-Sharing Analysis. |
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 | Atze Dijkstra, S. Doaitse Swierstra |
Ruler: Programming Type Rules. |
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 | Stephen-John Craig, Michael Leuschel |
LIX: an Effective Self-applicable Partial Evaluator for Prolog. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Logic Programming, Partial Evaluation, Tupling, Deforestation, Partial Deduction, Self-application |
1 | Pascual Julián Iranzo, Christian Villamizar Lamus |
Analysing Definitional Trees: Looking for Determinism. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming |
1 | Yukiyoshi Kameyama, Peter J. Stuckey (eds.) |
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Mario Rodríguez-Artalejo |
DDT: a Declarative Debugging Tool for Functional-Logic Languages. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Susana Muñoz-Hernández, Julio Mariño, Juan José Moreno-Navarro |
Constructive Intensional Negation. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Logic Programming Implementation, Program Transformation, Constraint Logic Programming, Negation, Constructive Negation |
1 | Mizuhito Ogawa |
Complete Axiomatization of an Algebraic Construction of Graphs. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger |
A Brief Survey of Quantum Programming Languages. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kentaro Kikuchi |
A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Garrigue |
Relaxing the Value Restriction. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Bueno, Pedro López-García 0001, Manuel V. Hermenegildo |
Multivariant Non-failure Analysis via Standard Abstract Interpretation. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück, Masahiko Kawabe |
Derivation of Deterministic Inverse Programs Based on LR Parsing. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Vincent van Oostrom |
Sub-Birkhoff. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001 |
Implementing Natural Rewriting and Narrowing Efficiently. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Tom Hirschowitz |
Rigid Mixin Modules. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Online Justification for Tabled Logic Programs. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Masahito Hasegawa |
Semantics of Linear Continuation-Passing in Call-by-Name. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato |
Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. |
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 |
|
1 | Thorsten Altenkirch, Tarmo Uustalu |
Normalization by Evaluation for lambda-2. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|