Palsberg, Jens
-
BRICS Report Series No. 31 (1995): RS-31 Trust in the lambda-calculus - Articles
Trust in the lambda-calculus
Abstract PDF -
BRICS Report Series No. 32 (1995): RS-32 Efficient Inference of Object Types - Articles
Efficient Inference of Object Types
Abstract PDF -
BRICS Report Series No. 33 (1995): RS-33 Type Inference with Nonstructural Subtyping - Articles
Type Inference with Nonstructural Subtyping
Abstract PDF -
BRICS Report Series No. 34 (1995): RS-34 Type Inference with Selftype - Articles
Type Inference with Selftype
Abstract PDF -
BRICS Report Series No. 41 (1995): RS-41 Eta-Expansion Does The Trick - Articles
Eta-Expansion Does The Trick
Abstract PDF -
BRICS Report Series No. 17 (1996): RS-17 Eta-Expansion Does The Trick (Revised Version) - Articles
Eta-Expansion Does The Trick (Revised Version)
Abstract PDF