Denotational design with type class morphisms

{
  "doi": null,
  "year": null,
  "title": "Denotational design with type class morphisms",
  "venue": "",
  "authors": [],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}