id: f8305a27-567e-4f42-93eb-2c8171daebe0 url: http://web.archive.org/web/20120220114931/http://www.tom.sfc.keio.ac.jp/~hagino/codat.pdf name: Codatatypes in ML (programming, paper)
