A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
International audience The theory and practice of polytypic programming is intimately connected with the initial algebra semantics of datatypes. This is both a blessing and a curse. It is a blessing because the underlying theory is beautiful and well developed. It is a curse because the initial algebra semantics is restricted to so-called regular datatypes. Recent work by R. Bird and L. Meertens  on the semantics of non-regular or nested datatypes suggests that an extension to generaldoi:10.46298/dmtcs.266 fatcat:qicgzuajtfhdfa4u2vmunkdvey