Axiomatic purity of D

[Justin Johansson]

BCS wrote:
> Hello retard,
> 
>> the brick wall book by B.P.
>>
> 
> link?
> 

I think the OP means Types and programming languages
  By Benjamin C. Pierce

Andrei posted the link earlier in this thread.

http://books.google.com/books?id=ti6zoAC9Ph8C&pg=PA95&lpg=PA95&dq=safety+%3D+progress+%2B+preservation&source=bl&ots=EzM9xEpZWD&sig=CJrn0iCMOCrBk_YF9CvXn-2GG60&hl=en&ei=nnJTTIyREoigsQPY8JXaAg&sa=X&oi=book_result&ct=result&resnum=1&ved=0CBIQ6AEwAA#v=onepage&q=safety%20%3D%20progress%20%2B%20preservation&f=false