A Language for Specifying Type Contracts in Erlang and its Interaction ...
Unknown
The Legend Of Koizumi 69
Building Blocks for Theoretical Computer Science
Margaret M. Fleck
Immutability Changes Everything
Pat Helland
Across the Horizon in Our Minds
LadyKarai