Advanced topics in types and programming languages - Pierce, Benjamin C (Cambridge Massachusetts Institute of Technology, 2005)
Keywords: COMPUTER PROGRAMMING; COMPUTER SCIENCE; ELECTRONIC COMPUTERS; PROGRAMMING LANGUAGE