Effects in functional and dependently-typed programming

Cached

Download Links

by Iain Lane