Polytypic Programming - abstract
Polytypic Programming - abstract
Johan Jeuring
In 6th
NWPT, page 237
Abstract:
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.
Comments
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]](http://www.daimi.aau.dk/BRICS/GIF/BRICS/msymbol8mm.GIF)
BRICS WWW home page