Practical foundations for programming language - Harper Robert; Harper Robert (Cambridge CUP, 2013)
Appendix 455-456p.; Bibliography 457-464p.; Indix 465-471p.
Keywords: Programming language; Statistics