default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th WFLP 2009: Brasilia, Brazil
- Santiago Escobar
:
Functional and Constraint Logic Programming, 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers. Lecture Notes in Computer Science 5979, Springer 2010, ISBN 978-3-642-11998-9
Invited Papers
- Roberto Ierusalimschy:
Programming with Multiple Paradigms in Lua. 1-12 - Claude Kirchner, Florent Kirchner, Hélène Kirchner:
Constraint Based Strategies. 13-26
Contributed Papers
- Ignacio Castiñeiras, Fernando Sáenz-Pérez:
Integrating ILOG CP Technology into TOY\mathcal{TOY}. 27-43 - Stephan Falke, Deepak Kapur:
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures. 44-61 - Makoto Hamana:
Semantic Labelling for Proving Termination of Combinatory Reduction Systems. 62-78 - Manuel Hernández-Gutiérrez:
A Taxonomy of Some Right-to-Left String-Matching Algorithms. 79-95 - Yuki Kato, Koji Nakazawa:
Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types. 96-110 - Michael Leuschel, Salvador Tamarit, Germán Vidal:
Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. 111-127 - Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
New Results on Type Systems for Functional Logic Programming. 128-144 - Manuel Montenegro, Ricardo Peña-Marí, Clara Segura:
A Simple Region Inference Algorithm for a First-Order Functional Language. 145-161 - Rafael del Vado Vírseda, Ignacio Castiñeiras:
A Theoretical Framework for the Declarative Debugging of Functional Logic Programs with Lambda Abstractions. 162-178
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 2025-01-30 20:41 CET 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:
