search

yallop / effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects
947 stars 80 forks source link

Sort Software section entries #111

Closed dhil closed 3 years ago

dhil commented 3 years ago

This commit sorts the entries in the Software section (ascending according to the ASCII table).

Also added "Microsoft Research and Inria" as primary authors of F*. Also added a DOI for Schuster et al. (2020).