|
Principles of Program Analysis
by
3.63 avg rating — 35 ratings
—
published
1999
—
9 editions
|
|
|
An Introduction to Lambda Calculi for Computer Scientists
by
really liked it 4.00 avg rating — 15 ratings
—
published
1995
—
11 editions
|
|
|
A Concise Introduction to Languages and Machines
by
2.83 avg rating — 6 ratings
—
published
2008
—
9 editions
|
|
|
Principles of Functional Programming
by
it was amazing 5.00 avg rating — 1 rating
—
3 editions
|
|
|
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Lecture Notes in Computer Science Book 9560)
by
it was amazing 5.00 avg rating — 1 rating
—
3 editions
|
|
|
Abstract Interpretation of Declarative Languages
by
really liked it 4.00 avg rating — 1 rating
—
published
1987
—
3 editions
|
|
|
Coordination Programming: Mechanisms, Models, and Semantics
by
really liked it 4.00 avg rating — 1 rating
—
published
1996
—
2 editions
|
|
|
Theory and Formal Methods of Computing 94: Proceedings of the Second Imperial College Workshop
by
0.00 avg rating — 0 ratings
—
published
1995
|
|
|
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
by
0.00 avg rating — 0 ratings
—
published
1998
—
2 editions
|
|
|
Static Analysis
by
0.00 avg rating — 0 ratings
—
published
2005
—
2 editions
|
|
|
Static Analysis
by
0.00 avg rating — 0 ratings
|
|
|
[(An Introduction to Lambada Calculi for Computer Scientists )] [Author: Chris Hankin] [Feb-2004]
by
0.00 avg rating — 0 ratings
|
|
|
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings (Lecture Notes in Computer Science Book 3672)
by
0.00 avg rating — 0 ratings
|
|
|
Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.
by
0.00 avg rating — 0 ratings
—
published
2014
|
|
|
ACM Computing Surveys Vol 39 Number 4 2007
by
0.00 avg rating — 0 ratings
|
|
|
Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays (Lecture Notes in Computer Science Book 9560)
by
0.00 avg rating — 0 ratings
|
|
* Note: these are all the books on Goodreads for this author. To add more books,
click here.