Programming Languages and Systems
Ranjit Jhala, Atsushi Igarashi
Programming Languages and Systems - 2012
978-3-642-35182-2
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Programming Languages and Systems - 2012
978-3-642-35182-2
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science