Livros de Chris Hankin - BookPine

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Christian W. Probst

Coordination Programming: Mechanisms, Models, and Semantics

Jean-Marc Andreoli

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... March 28 - April 4, 1998, Proceedings

Chris Hankin

Principles of Program Analysis

Principles of Program Analysis

Flemming Nielson

A Concise Introduction to Languages and Machines

A Concise Introduction to Languages and Machines

Alan P. Parkes

Static Analysis

Static Analysis

Chris Hankin

ACM Computing Surveys Vol 39 Number 4 2007

Association for Computing Machinery

An Introduction to Lambda Calculi for Computer Scientists

An Introduction to Lambda Calculi for Computer Scientists

Chris Hankin

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ...

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ...

Chris Hankin

Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop

Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop

Chris Hankin

Lambda Calculi: A Guide for Computer Scientists

Chris Hankin

Abstract Interpretation of Declarative Languages

Samson Abramsky

Principles of Functional Programming

Principles of Functional Programming

Chris Hankin

An Introduction to Lambda Calculi for Computer Scientists

An Introduction to Lambda Calculi for Computer Scientists

Chris Hankin

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science)

Chris Hankin