dcreager.net

Reading log

2023-06-13

Some new papers for the reading log:

[Fowler2023] Separating sessions smoothly

[Castagna2023] The design principles of the Elixir type system