Author

Chris Hankin

8 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

8 books
Programming Languages and Systems

Programming Languages and Systems

1998
Lambda Calculi

Lambda Calculi

1994
Abstract interpretation of declarative languages

Abstract interpretation of declarative languages

Year unknown Samson Abramsky and Chris Hankin
Coordination programming

Coordination programming

Year unknown
Introducao ao calculo lambda

Introducao ao calculo lambda

Year unknown Chris Hankin and Jo O. Rasga
Principles of program analysis

Principles of program analysis

Year unknown Flemming Nielson, Hanne Riis Nielson, and Chris Hankin
Semantics, Logics, and Calculi

Semantics, Logics, and Calculi

Year unknown Christian W. Probst, Chris Hankin, and René Rydhof Hansen
Static analysis

Static analysis

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.