@article{Moggi:1991:NCM:116981.116984,
    Address = {Duluth, MN, USA},
    Author = {Moggi, Eugenio},
    File = {Notions of computation and monads - Moggi (0) (0) - a - a - k.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {category theory and functional programming and formal semantics and classic},
    Month = {July},
    Number = {1},
    Pages = {55--92},
    Publisher = {Academic Press, Inc.},
    Title = {Notions of computation and monads},
    URL = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
    Volume = {93},
    Year = {1991},
    acmid = {116984},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0890-5401(91)90052-4},
    date-added = {2013-01-30 17:24:54 +0000},
    date-modified = {2013-01-30 17:25:10 +0000},
    issue_date = {July 1991},
    numpages = {38},
    doi = {10.1016/0890-5401(91)90052-4}
}

@article{Moggi:1991:NCM:116981.116984, Address = {Duluth, MN, USA}, Author = {Moggi, Eugenio}, File = {Notions of computation and monads - Moggi (0) (0) - a - a - k.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {category theory and functional programming and formal semantics and classic}, Month = {July}, Number = {1}, Pages = {55--92}, Publisher = {Academic Press, Inc.}, Title = {Notions of computation and monads}, URL = {http://dx.doi.org/10.1016/0890-5401(91)90052-4}, Volume = {93}, Year = {1991}, acmid = {116984}, bdsk-url-1 = {http://dx.doi.org/10.1016/0890-5401(91)90052-4}, date-added = {2013-01-30 17:24:54 +0000}, date-modified = {2013-01-30 17:25:10 +0000}, issue_date = {July 1991}, numpages = {38}, doi = {10.1016/0890-5401(91)90052-4} }

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