Data types as initial algebras: A unification of Scottery and ADJery | IEEE Conference Publication | IEEE Xplore