Polytypic Programming - abstract

Polytypic Programming - abstract

Johan Jeuring

In 6th NWPT, page 237


In this talk I discuss polytypic functions. I combine the polytypic functions that have been defined in the Bird-Meertens calculus, a calculus for transformational programming developed over the last decade, with inductive definitions of natural transformations to build new polytypic functions.

Chalmers University of Technology and University of Göteborg, S-412 96 Göteborg, Sweden. Email: johanj@cs.chalmers.se.

Available as PostScript, DVI.

[BRICS symbol] BRICS WWW home page