Jens Palsberg
4 published titles
Object-oriented type systems
1 edition
- ISBN: 047194128X
- Wiley
- 1994
- Details
Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000 : proceedings
(Contributor)
1 edition
- ISBN: 3540676686
- Springer
- 2000
- Details
Modern compiler implementation in Java
(Contributor)
1 edition
- ISBN: 052182060X
- Cambridge University Press
- 2002
- Details
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
(Contributor)
1 edition
- ISBN: 9783540330561
- Springer
- 2006
- Details
