Palsberg, Jens

• DAIMI Report Series No. 341 (1990): PB-341 A Unified Type System for Object-Oriented Programming - Articles
  A Unified Type System for Object-Oriented Programming
  Abstract  PDF
• DAIMI Report Series No. 342 (1990): PB-342 What is Type-Safe Code Reuse? - Articles
  What is Type-Safe Code Reuse?
  Abstract  PDF
• DAIMI Report Series No. 345 (1991): PB-345 Object-Oriented Type Inference - Articles
  Object-Oriented Type Inference
  Abstract  PDF
• DAIMI Report Series No. 355 (1991): PB-355 Static Typing for Object-Oriented Programming - Articles
  Static Typing for Object-Oriented Programming
  Abstract  PDF
• DAIMI Report Series No. 357 (1991): PB-357 Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 - Articles
  Types, Inheritance and Assignments: A collection of position papers from the ECOOP '91 workshop W5 (Geneva, Switzerland, 1991, 15-19 July)
  Abstract  PDF
• DAIMI Report Series No. 362 (1991): PB-362 Three Discussions on Object-Oriented Typing - Articles
  Three Discussions on Object-Oriented Typing
  Abstract  PDF
• DAIMI Report Series No. 382 (1992): PB-382 A Provably Correct Compiler Generator - Articles
  A Provably Correct Compiler Generator
  Abstract  PDF
• DAIMI Report Series No. 383 (1992): PB-383 An Automatically Generated and Provably Correct Compiler for a Subset of Ada - Articles
  An Automatically Generated and Provably Correct Compiler for a Subset of Ada
  Abstract  PDF
• DAIMI Report Series No. 389 (1992): PB-389 Safety Analysis versus Type Inference - Articles
  Safety Analysis versus Type Inference
  Abstract  PDF
• DAIMI Report Series No. 393 (1992): PB-393 Binding Time Analysis: Abstract Interpretation vs. Type Inference - Articles
  Binding Time Analysis: Abstract Interpretation vs. Type Inference
  Abstract  PDF
• DAIMI Report Series No. 404 (1992): PB-404 Safety Analysis versus Type Inference for Partial Types - Articles
  Safety Analysis versus Type Inference for Partial Types
  Abstract  PDF
• DAIMI Report Series No. 305 (1990): PB-305 Substitution Polymorphism for Object-Oriented Programming - Articles
  Substitution Polymorphism for Object-Oriented Programming
  Abstract  PDF
• DAIMI Report Series No. 317 (1990): PB-317 Type substitution for object-oriented programming - Articles
  Type substitution for object-oriented programming
  Abstract  PDF
• DAIMI Report Series No. 318 (1990): PB-318 Genericity and inheritance - Articles
  Genericity and inheritance
  Abstract  PDF
• DAIMI Report Series No. 422 (1992): PB-422 Provably Correct Compiler Generation - Articles
  Provably Correct Compiler Generation
  Abstract  PDF
• DAIMI Report Series No. 386 (1992): PB-386 Polyvariant Analysis of the Untyped Lambda Calculus - Articles
  Polyvariant Analysis of the Untyped Lambda Calculus
  Abstract  PDF
• DAIMI Report Series No. 385 (1992): PB-385 Making Type Inference Practical - Articles
  Making Type Inference Practical
  Abstract  PDF
• DAIMI Report Series No. 405 (1992): PB-405 Efficient Recursive Subtyping - Articles
  Efficient Recursive Subtyping
  Abstract  PDF
• DAIMI Report Series No. 284 (1989): PB-284 A Denotational Semantics of Inheritance and its Correctness - Articles
  A Denotational Semantics af Inheritance and its Correctness
  Abstract  PDF
• DAIMI Report Series No. 450 (1993): PB-450 Layout Construction: A Case Study In Algorithm Engineering - Articles
  Layout Construction: A Case Study In Algorithm Engineering
  Abstract  PDF
• DAIMI Report Series No. 436 (1993): PB-436 Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance - Articles
  Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
  Abstract  PDF
• DAIMI Report Series No. 394 (1992): PB-394 Efficient Inference of Partial Types - Articles
  Efficient Inference of Partial Types
  Abstract  PDF
• DAIMI Report Series No. 455 (1993): PB-455 Complexity Results for 1-safe Nets - Articles
  Complexity Results for 1-safe Nets
  Abstract  PDF