@Misc{            modular,
  Author        = "Liang, Sheng and Hudak, Paul",
  date-added    = "2018-04-13 15:13:59 +0000",
  date-modified = "2018-04-13 15:14:31 +0000",
  Title         = "Modular Monadic Semantics",
  File          = "10.1.1.136.1656 (0) - a - a - r.pdf"
}

@Misc{ modular, Author = "Liang, Sheng and Hudak, Paul", date-added = "2018-04-13 15:13:59 +0000", date-modified = "2018-04-13 15:14:31 +0000", Title = "Modular Monadic Semantics", File = "10.1.1.136.1656 (0) - a - a - r.pdf" }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge