corbin-ocap17-monte.bib

@phdthesis{MarkMThesis,
    title = {{Robust Composition}: Towards a Unified Approach to Access
        Control and Concurrency Control},
    school = {John Hopkins University},
    author = {Miller, Mark},
    year = {2006},
    howpublished = {\url{http://erights.org/talks/thesis/markm-thesis.pdf}},
}
@manual{Monte,
    title = {{Monte} is Serious Business},
    howpublished = {\url{http://monte.readthedocs.io/en/latest/}},
    note = {Accessed: August 9, 2017},
}
@manual{MonteMiranda,
    title = {{Monte} Miranda Protocol},
    howpublished = {\url{http://monte.readthedocs.io/en/latest/miranda.html}},
    note = {Accessed: August 7, 2017},
}
@misc{TyphonLibIterators,
    title = {{Typhon} mast/lib/iterators.mt},
    howpublished = {\url{https://github.com/monte-language/typhon/blob/master/mast/lib/iterators.mt}},
    note = {Accessed: August 10, 2017},
}
@misc{Kanren,
    title = {miniKanren},
    author = {William Byrd},
    howpublished = {\url{http://minikanren.org/}},
    note = {Accessed: August 7, 2017},
}
@Book{friedman2005the,
    author = {Friedman, Daniel},
    title = {The reasoned schemer},
    publisher = {MIT Press},
    year = {2005},
    address = {Cambridge, Mass},
    isbn = {9780262562140}
}
@misc{CapnProto,
    title = {Cap'n Proto},
    author = {Kenton Varda et al.},
    howpublished = {\url{https://capnproto.org/}},
    note = {Accessed: August 13, 2017},
}
@misc{Sodium,
    title = {libsodium},
    howpublished = {\url{https://github.com/jedisct1/libsodium}},
    note = {Accessed: August 14, 2017},
}
@manual{pledge2,
    title = {pledge(2) - OpenBSD manual pages},
    organization = {OpenBSD Foundation},
    date = {July 5, 2017},
    howpublished = {\url{http://man.openbsd.org/OpenBSD-current/man2/pledge.2}},
}
@manual{TwistedInternetTaskReact,
    title = {Twisted API Documentation},
    date = {June 11, 2017},
    howpublished = {\url{http://twistedmatrix.com/documents/current/api/twisted.internet.task.html#react}},
}
@manual{PythonItertools,
    title = {itertools - {Python} 2.7 documentation},
    howpublished = {\url{https://docs.python.org/2/library/itertools.html}},
    note = {Accessed: August 9, 2017},
}
@manual{PythonIterable,
    title = {Glossary - {Python} 2.7 documentation},
    howpublished = {\url{https://docs.python.org/2/glossary.html#term-iterable}},
    note = {Accessed: August 8, 2017},
}
@misc{EIterationRationale,
    title = {{e-lang} 'for' loop security concerns},
    author = {Dean Tribble},
    howpublished = {\url{https://web.archive.org/web/20060616173348/http://www.eros-os.org:80/pipermail/e-lang/2003-November/009285.html}},
    date = {March 26, 2001},
    note = {Archived: June 16, 2006},
}
@misc{NDN,
    title = {Named Data Networking Project},
    organization = {Named Data Networking Project},
    howpublished = {\url{https://named-data.net/wp-content/uploads/TR001ndn-proj.pdf}},
    year = {2010},
    date = {October 31, 2010},
}
@MISC{Giorgidze11bringingback,
    author = {George Giorgidze and Torsten Grust and Nils Schweinsberg and
        Jeroen Weijers},
    title = {Bringing back monad comprehensions},
    year = {2011},
    howpublished = {\url{http://db.inf.uni-tuebingen.de/staticfiles/publications/haskell2011.pdf}},
}
@MISC{Orchard_anotation,
    author = {Dominic Orchard and Alan Mycroft},
    title = {A Notation for Comonads},
    year = {2012},
    howpublished = {\url{https://www.cl.cam.ac.uk/~dao29/publ/codo-notation-orchard-ifl12.pdf}},
}