*******************************************************************
CALL FOR PARTICIPATION
WFLP 2009
18th International Workshop on Functional
and (Constraint) Logic Programming
Brasilia, Brazil, June, 28, 2009
http://www.dsic.upv.es/workshops/wflp09/
*********
part of the Federated Conference on
Rewriting, Deduction, and Programming
RDP'09
http://rdp09.cic.unb.br/index.html
*******************************************************************
INVITED SPEAKERS
Claude Kirchner INRIA Bordeaux - Sud-Ouest, France
Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil
ACCEPTED PAPERS
* Manuel Montenegro, Ricardo Peña and Clara Segura.
A Simple Region Inference Algorithm for a First-Order Functional
Language
* Yuki Kato and Koji Nakazawa.
Type Checking and Inference Are Equivalent in Lambda Calculi with
Existential Types
* Petra Hofstedt and Kazunori Ueda.
Realizing Multiparadigm Programming based on Hierarchical Graph
Rewriting
* Rafael del Vado Vírseda and Ignacio Castiñeiras Pérez.
A Theoretical Framework for the Declarative Debugging of Functional
Logic Programs with Lambda Abstractions
* Javier Álvez and Francisco Javier López-Fraguas.
A Complete Axiomatization of Strict Equality over Infinite Trees
* Francisco Javier Lopez-Fraguas, Enrique Martin-Martin and Juan
Rodriguez-Hortala.
Advances in type systems for Functional-Logic Programming
* Nacho Castiñeiras and Fernando Sáenz.
Integrating ILOG CP technology into TOY
* Michael Leuschel, Salvador Tamarit and German Vidal.
Fast and Accurate Strong Termination Analysis with an Application
to Partial Evaluation
* Manuel Hernandez.
A Taxonomy of Some Right-to-Left String-Matching Algorithms
* Makoto Hamana.
Semantic Labelling for Proving Termination of Combinatory Reduction
Systems
* Stephan Falke and Deepak Kapur.
Termination of Context-Sensitive Rewriting with Built-In Numbers
and Collection Data Structures
* Andre Rauber du Bois, Gerson Cavalheiro and Juliana vizzotto.
pFun: A semi-explicit parallel purely functional language
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Mai 28 2009 - 22:57:40 CEST