A Language for Specifying Type Contracts in Erlang and its Interaction ...
Unknown
Against the Uncritical Adoption of ‘AI’ Technologies in Academia
Olivia Guest et al
The Legend Of Koizumi 63
Category Theory for Computing Science
Michael Barr, Charles Wells
The Reality Dysfunction
Peter F. Hamilton