Palsberg, Jens
Palsberg, Jens, 1964-
Palsberg, Jens, 19..-....
Jens Palsberg Ph.D. Aarhus University 1992
VIAF ID: 34682191 ( Personal )
Permalink: http://viaf.org/viaf/34682191
Preferred Forms
- 100 0 _ ‡a Jens Palsberg ‡c Ph.D. Aarhus University 1992
- 200 _ | ‡a Palsberg ‡b Jens
-
-
-
- 100 1 0 ‡a Palsberg, Jens
- 100 1 _ ‡a Palsberg, Jens
-
- 100 1 _ ‡a Palsberg, Jens
-
- 100 1 _ ‡a Palsberg, Jens ‡d 1964-
- 100 1 _ ‡a Palsberg, Jens, ‡d 19..-....
-
-
5xx's: Related Names (5)
- 510 2 _ ‡a Aarhus University
- 510 2 _ ‡a Joint European Conferences on Theory and Practice of Software, ETAPS 2006
- 510 2 _ ‡a TACAS 2006 (2006 : Vienna, Austria)
- 510 2 _ ‡a University of California Los Angeles
- 510 2 _ ‡a University of California Los Angeles ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
ETAPS 2006 | |
Modern compiler implementation in Java | |
Object-oriented type systems | |
SAS 2000 | |
Semantics and algebraic specification essays dedicated to Peter D. Mosses on the occasion of his 60th birthday | |
Static analysis : 7th international symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings | |
TACAS 2006 | |
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 : proceedings | |
Types, inheritance and assignments : a collection of position papers | |
Verification, Model Checking, and Abstract Interpretation : 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings |