On Wed, 13 Jan 2021 at 11:18, Roberto Aloi <prof3ta@REDACTED> wrote: > Erlang defines an I/O protocol. It’s pretty well documented here: > https://erlang.org/doc/apps/stdlib/io_protocol.html ...which, I note, mentions Robert Virding's paper multiple times, but doesn't seem to link to it at any point. Does anyone know where that paper is?