Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Jens Palsberg | lit.salon

Author

Jens Palsberg

10 works

1994–2018 across 8 dated works

No biography is available yet.

Start with

Object-oriented type systems1994
Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science)2000
Modern Compiler Implementation in Java2002
With Andrew W. Appel
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings2006
With Holger Hermanns

Books

10 works

Featured (8)Featured (8)All (10)All (10)

Search booksSort books

Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings (Lecture Notes in Computer Science)2000
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Object-oriented type systems1994
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings2009
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Modern Compiler Implementation in Java2002
With Andrew W. Appel
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Semantics And Algebraic Specification Essays Dedicated To Peter D Mosses On The Occasion Of His 60th Birthday2009
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings2018
With Isil Dillig
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings2006
With Holger Hermanns
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday2009
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Polyvariant analysis of the untyped lambda calculus1992
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings2008
With Klaus Havelund, Rupak Majumdar
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Jens Palsberg.

The conversation is still open.

There is no public salon activity to show for Jens Palsberg yet.