Items related to Programming Languages: Build, Prove, and Compare

Programming Languages: Build, Prove, and Compare - Hardcover

Ramsey, Norman

 
9781107180185: Programming Languages: Build, Prove, and Compare
Hardcover
ISBN 10: 110718018X ISBN 13: 9781107180185
Publisher: Cambridge University Press, 2022

Synopsis

Teaches students about great programming-language ideas and how to use them in programming practice.

"synopsis" may belong to another edition of this title.

About the Author

Norman Ramsey is Associate Professor of Computer Science at Tufts University. Since earning his Ph.D. at Princeton, he has worked in industry and has taught programming languages, advanced functional programming, programming-language implementation, and technical writing at Purdue, the University of Virginia, and Harvard as well as Tufts. He has received Tufts's Lerman-Neubauer Prize, awarded annually to one outstanding undergraduate teacher. He has also been a Hertz Fellow and an Alfred P. Sloan Research Fellow. His implementation credits include a code generator for the Standard ML of New Jersey compiler and another for the Glasgow Haskell Compiler.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2022
Language
English
ISBN 10 
110718018X
ISBN 13 
9781107180185
Binding
Hardcover
Number of pages
800