A Language for Specifying Type Contracts in Erlang and its Interaction ...
Unknown
Several People Are Typing
Calvin Kasulke
The Legend Of Koizumi 56
Why Functional Programming Matters
John Hughes
A Layered Grammar of Graphics
Hadley Wickham