Searching for authors named "Fritz Henglein" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Breaking through the n³ barrier: Faster object type inference
- …Breaking through the n 3 barrier: Faster object type inference Fritz Henglein DIKU, University…
- Add To MetaCart
-
Syntactic Properties of Polymorphic Subtyping
- …Syntactic Properties of Polymorphic Subtyping Fritz Henglein DIKU, University of Copenhagen…
- Cited by 5 (0 self) – Add To MetaCart
-
Multiset discrimination
- …Multiset Discrimination Fritz Henglein ∗ September 16th, 2003 Abstract Multiset discrimination…
- Cited by 2 (0 self) – Add To MetaCart
-
Polymorphic Type Inference and Semi-Unification
- …Polymorphic Type Inference and Semi-Unification Fritz Henglein 1 Courant Institute…
- Cited by 18 (2 self) – Add To MetaCart
-
Global Tagging Optimization by Type Inference
- …Global Tagging Optimization by Type Inference Fritz Henglein DIKU University of Copenhagen…
- Cited by 49 (1 self) – Add To MetaCart
-
Type Inference with Polymorphic Recursion
- …Type Inference with Polymorphic Recursion Fritz Henglein y DIKU University of Copenhagen…
- Cited by 123 (0 self) – Add To MetaCart
-
Efficient Type Inference for Higher-Order Binding-Time Analysis
- …Efficient Type Inference for Higher-Order Binding-Time Analysis ∗ Fritz Henglein DIKU University…
- Cited by 84 (1 self) – Add To MetaCart
-
Breaking Through the
- …Breaking through the n 3 barrier: Faster object type inference Fritz Henglein December 17th…
- Add To MetaCart
-
Programming with Structures, Functions, and Objects
- … Informatics Conference (PANEL '91), July 1991 --- Updated Version --- Fritz Henglein DIKU University…
- Cited by 1 (0 self) – Add To MetaCart
-
Constraint Automata and the Complexity of Recursive Subtype Entailment
- …Constraint Automata and the Complexity of Recursive Subtype Entailment Fritz Henglein and Jakob…
- Cited by 15 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
