From: Jurgen Vinju To: Date: Fri, 5 Nov 2004 13:09:57 +0100 Subject: PEM: Conor Ryan (U Limerick) | Grammatical Evolution | 24.02.00 PEM: Ralf Lämmel | Dealing with Large Bananas | 24.02.00 From: pem (PEM moderator) To: pem-noreply Subject: PEM meeting | 24.02.00 | M3.76, CWI Precedence: bulk X-url: http://www.cwi.nl/~pem Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Dear environmentalists, As announced earlier, another talk this Thursday. Ralf was willing to share his views of the banana world with us. Please note that this talk starts at 14.00, and will be held in room M376, which is also known as the "directievergaderzaal" on the third floor. This announcement can be found at Dealing with Large Bananas Date: 24.02.00 Time: 14:00 Venue: M3.76, CWI Speaker: Ralf Lämmel Title: Dealing with Large Bananas [joint work with Jan Kort and Joost Visser] An approach to the systematic application of catamorphisms in the context of systems of datatypes is developed. The approach is based on previous work on generalised monadic folds. These folds can be derived from mutually recursive datatype definitions in a natural way. The folds are parameterized by algebras constituting catamorphisms. The approach goes further in the sense that also certain fold algebras modelling identity maps or forms of reduction are considered as basic abstractions induced by the system of datatypes. These basic fold algebras can be configured based on a notion of update. It is shown that this way to derive actual catamorphisms is essential for generic support of some general application domains such as language processing, program transformation and program analysis, where one is concerned with rather non-trivial systems of datatypes (in terms of numbers of types and constructors). The paper combines and reviews some other related approaches. _________________________________________________________________ The programming environment meetings are a forum for the presentation and discussion of new ideas, ongoing and finished work. A typical meeting addresses a subject in the area of programming environments, program generation, algebraic specification, term rewriting, parsing, etc. A presentation ideally takes between 45 and 90 minutes. Meetings taking longer than 45 minutes are interrupted by a coffeebreak. Most Thursdays, a meeting is held which starts at 10:00 am. in one of the rooms at CWI/WINS. Exceptionally, dates or times may change. The program of the meetings is available on WWW: http://www.cwi.nl/~pem _________________________________________________________________