Searching for authors named Jens Palsberg – sorted by Relevance.
89 documents found, showing 1 through 10.
Next 10 →
-
Type Inference for Objects
- …Computing Surveys 28(2):358-359, June 1996. Type Inference for Objects Jens Palsberg MIT Type…
- Cited by 6 (0 self) – Add To MetaCart
-
Type-Based Analysis and Applications
- …Type-Based Analysis and Applications Jens Palsberg Purdue University Dept. of Computer Science…
- Cited by 21 (3 self) – Add To MetaCart
-
Correctness of Binding-time Analysis
- …-time Analysis Jens Palsberg palsberg@(email omitted); Computer Science Department, Aarhus University Ny Munkegade…
- Cited by 19 (7 self) – Add To MetaCart
-
An Automatically Generated and Provably Correct Compiler for a Subset of Ada
- …An Automatically Generated and Provably Correct Compiler for a Subset of Ada Jens Palsberg…
- Cited by 11 (2 self) – Add To MetaCart
-
Type Inference With Selftype
- …BRICS Basic Research in Computer Science Type Inference with Selftype Jens Palsberg BRICS Report…
- Cited by 3 (0 self) – Add To MetaCart
-
Comparing Flow-based Binding-time Analyses
- …-time Analyses Jens Palsberg Computer Science Department, Aarhus University Ny Munkegade, DK--8000 Aarhus C…
- Cited by 2 (0 self) – Add To MetaCart
-
Normal Forms have Partial Types
- …Information Processing Letters 45 (1993) 1--3. Normal Forms have Partial Types Jens Palsberg…
- Cited by 2 (1 self) – Add To MetaCart
-
Type Inference with Non-structural Subtyping
- …BRICS Basic Research in Computer Science Type Inference with Non-structural Subtyping Jens Palsberg…
- Cited by 17 (4 self) – Add To MetaCart
-
A Provably Correct Compiler Generator
- … Jens Palsberg palsberg@(email omitted); Computer Science Department, Aarhus University Ny Munkegade, DK…
- Cited by 25 (2 self) – Add To MetaCart
-
Equality-based flow analysis versus recursive types
- …Equality-Based Flow Analysis versus Recursive Types JENS PALSBERG Purdue University Equality…
- Cited by 9 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
