Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Lunjin Lu, Andy King |
Backward Pair Sharing Analysis. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
Pair-Sharing, Abstract interpretation, Backward analysis |
1 | Carsten Schürmann |
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Kahl |
Basic Pattern Matching Calculi: a Fresh View on Matching Failure. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miguel García-Díaz, Susana Nieva |
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
hereditary Harrop formulas, finite symbolic trees, first-order logic, real numbers, constraint systems |
1 | Olivier Danvy, Ulrik Pagh Schultz |
Lambda-Lifting in Quadratic Time. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kokichi Futatsugi |
Formal Methods in CafeOBJ. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Francisco Javier López-Fraguas |
Dynamic-Cut with Definitional Trees. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Antoy, Michael Hanus |
Functional Logic Design Patterns. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yann Loyer, Umberto Straccia |
The Well-Founded Semantics in Normal Logic Programs with Uncertainty. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Masahito Hasegawa |
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey |
To the Gates of HAL: A HAL Tutorial. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Pettersson, Konstantinos Sagonas, Erik Johansson |
The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Georg Smaus |
The Head Condition and Polymorphic Recursion. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas, Jaime Sánchez-Hernández |
Narrowing Failure in Functional Logic Programming. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luís Soares Barbosa, José Nuno Oliveira |
Coinductive Interpreters for Process Calculi. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
coinductive types, applications, functional programming |
1 | Zhenjiang Hu, Mario Rodríguez-Artalejo (eds.) |
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Meer |
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width |
1 | António Porto |
Structural Abstraction and Application in Logic Programming. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hideto Kasuya, Masahiko Sakai, Kiyoshi Agusa |
Descendants and Head Normalization of Higher-Order Rewrite Systems. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Eijiro Sumii, Hideo Bannai |
VM lambda: A Functional Calculusfor Scientific Discovery. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Pascual Julián Iranzo |
On the Correctness of the Factoring Transformation. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jérôme Siméon, Philip Wadler |
The Essence of XML (Preliminary Version). |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Taro Suzuki, Aart Middeldorp |
A Complete Selection Function for Lazy Conditional Narrowing. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Michael Hanus, Germán Vidal |
A Practical Partial Evaluator for a Multi-Paradigm Declarative Language. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | George C. Necula |
A Scalable Architecture for Proof-Carrying Code. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana |
Incremental Learning of Functional Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
Inductive functional logic programming (IFLP), incremental learning, theory revision, inductive logic programming (ILP) |
1 | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maria Teresa Hortalá-González, Eva Ullán |
An Abstract Machine Based System for a Lazy Narrowing Calculus. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Morten Rhiger |
A Simple Take on Typed Abstract Syntax in Haskell-like Languages. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
Type-directed partial evaluation, normalization functions, simply typed lambda-calculus, Haskell, higher-order abstract syntax |
1 | Masahiko Sato 0001, Takafumi Sakurai, Yukiyoshi Kameyama |
A Simply Typed Context Calculus with First-Class Environments. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Koji Kagawa |
Monadic Encapsulation with Stack of Regions. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gopalan Nadathur |
The Metalanguage lambda-Prolog and Its Implementation. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sulzmann |
A General Type Inference Framework for Hindley/Milner Style Systems. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Kuchen, Kazunori Ueda (eds.) |
Functional and Logic Programming, 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001, Proceedings |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Taisuke Sato |
Parameterized Logic Programs where Computing Meets Learning. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Deransart, Jan-Georg Smaus |
Well-Typed Logic Programs Are not Wrong. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Delzanno |
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Javier Leach, Susana Nieva |
A Higher-Order Logic Programming Language with Constraints. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fairouz Kamareddine, Twan Laan, Rob Nederpelt |
Refining the Barendregt Cube Using Parameters. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo |
Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Danvy, Lasse R. Nielsen |
A Higher-Order Colon Translation. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Vitaly Lagoon, Peter J. Stuckey |
A Framework for Analysis of Typed Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Kwanghoon Choi 0001, Hyun-il Lim, Taisook Han |
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine. |
FLOPS |
2001 |
DBLP BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón |
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Lux |
Adding Linear Constraints over Real Numbers to Curry. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Fausto Spoto |
Abstract Compilation for Sharing Analysis. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
linear refinement, logic programming, Abstract interpretation, linear logic, domain theory |
1 | Jeff Polakow, Kwangkeun Yi |
Proving Syntactic Properties of Exceptions in an Ordered Logical Framework. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Aart Middeldorp, Taisuke Sato (eds.) |
Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings |
FLOPS |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Masahiko Sato 0001, Yoshihito Toyama (eds.) |
Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998. |
FLOPS |
1998 |
DBLP BibTeX RDF |
|
1 | Tetsuo Ida, Atsushi Ohori, Masato Takeichi (eds.) |
Functional and Logic Programming, Proceedings of the Second Fuji International Workshop, Shonan Village Center, Japan, 1-4 November 1996. |
FLOPS |
1997 |
DBLP BibTeX RDF |
|
1 | Masato Takeichi, Tetsuo Ida (eds.) |
Functional and Logic Programming, Proceedings of the Fuji International Workshop, Susono, Japan, 17-19 July 1995. |
FLOPS |
1995 |
DBLP BibTeX RDF |
|