3rd Latin-American Conference on Fuctional Programming

3rd Latin-American Conference on Functional Programming
http://www.di.ufpe.br/~clapf99

March 8, 1999
Recife, Brazil

Sunday, March 7, 1999

after 10:00 a.m. Check-in time

6:00 p.m. Opening Session

Monday, March 8, 1999

6:30-8:30a.m. Breakfast Buffet

9:00 a.m. A Lexical and Functional Parser
Javier Blanco and Pablo Duboué

9:20 a.m. Diagram Editor Generator:
A Medium Size Haskell Application
Pablo J. Pedemonte, Federico C. Repond
and Pablo E. Martínez López

9:40 a.m. Strictification of Computations on Trees
João Saraiva, Doaitse Swierstra and Matthjis Kuiper

10:00 - 10:30 a.m. Coffee Break

10:30 a.m. Design Patterns for Functional Programming
Pablo A. Mocciola and Pablo E. Martínez López

10:50 a.m. Processing Text Files with a Functional
Programming Language
Guillermo Calderón

11:10 a.m. Geometric Modelling in Functional Style
Jerzy Karczmarczuk

11:30 a.m.-12:30 p.m. Invited Talk:
Generalising Monads to Arrows: a New Structuring Principle for Functional Programs
Professor John Hughes
Chalmers Institute of Technology - Göthemburg - Sweden

12:30-1:45 p.m. Lunch

2:00 p.m. ML_Style Typing, Lambda Lifting,
and Partial Evaluation
Peter Thiemann

2:20 p.m. Haskell_#: A Message Passing Extension to Haskell
Ricardo M.F. Lima, Francisco H. Carvalho
and Rafael D. Lins

2:40 p.m. Language Prototyping using
Modular Monadic Semantics
J.E. Labra G., J.M. Cueva L. and
M. C. Luengo D.

3:00 - 3:30 p.m. Coffee Break

3:30 p.m. Polytypic Functions Over Nested
Datatypes (Extended Abstract)
Ralf Hinze

3:50 p.m. Optimizing Numerical Methods
Sylvia da Rosa, Leonardo Echavarría

4:10 p.m. Analysing the Space Behaviour of
Functional Programs
Francisco V. de Souza and Rafael D. Lins

4:30 - 5:45 p.m. Invited Talk
The Evolution of (Standard) ML
David MacQueen
Bell Laboratories

5:45 - 6:00 p.m. Closing Session

8:00p.m. Conference Dinner (CLaPF'99)

Sunday, March 7, 1999
after 10:00 a.m.	Check-in time
6:00 p.m.	Opening Session

Monday, March 8, 1999
6:30-8:30a.m.	Breakfast Buffet
9:00 a.m.	A Lexical and Functional Parser Javier Blanco and Pablo Duboué
9:20 a.m.	Diagram Editor Generator: A Medium Size Haskell Application Pablo J. Pedemonte, Federico C. Repond and Pablo E. Martínez López
9:40 a.m.	Strictification of Computations on Trees João Saraiva, Doaitse Swierstra and Matthjis Kuiper
10:00 - 10:30 a.m.	Coffee Break
10:30 a.m.	Design Patterns for Functional Programming Pablo A. Mocciola and Pablo E. Martínez López
10:50 a.m.	Processing Text Files with a Functional Programming Language Guillermo Calderón
11:10 a.m.	Geometric Modelling in Functional Style Jerzy Karczmarczuk
11:30 a.m.-12:30 p.m.	Invited Talk: Generalising Monads to Arrows: a New Structuring Principle for Functional Programs Professor John Hughes Chalmers Institute of Technology - Göthemburg - Sweden
12:30-1:45 p.m.	Lunch
2:00 p.m.	ML_Style Typing, Lambda Lifting, and Partial Evaluation Peter Thiemann
2:20 p.m.	Haskell_#: A Message Passing Extension to Haskell Ricardo M.F. Lima, Francisco H. Carvalho and Rafael D. Lins
2:40 p.m.	Language Prototyping using Modular Monadic Semantics J.E. Labra G., J.M. Cueva L. and M. C. Luengo D.
3:00 - 3:30 p.m.	Coffee Break
3:30 p.m.	Polytypic Functions Over Nested Datatypes (Extended Abstract) Ralf Hinze
3:50 p.m.	Optimizing Numerical Methods Sylvia da Rosa, Leonardo Echavarría
4:10 p.m.	Analysing the Space Behaviour of Functional Programs Francisco V. de Souza and Rafael D. Lins
4:30 - 5:45 p.m.	Invited Talk The Evolution of (Standard) ML David MacQueen Bell Laboratories
5:45 - 6:00 p.m.	Closing Session
8:00p.m.	Conference Dinner (CLaPF'99)