Searching for authors named Martin Sulzmann – sorted by Relevance.
45 documents found, showing 1 through 10.
Next 10 →
-
A constraint-based View of Dependent Types
- …A constraint--based View of Dependent Types (draft) Martin Sulzmann Yale University Department…
- Add To MetaCart
-
Type Systems for Records revisited
- …DRAFT Type Systems for Records revisited Martin Sulzmann Yale University, Department of Computer…
- Add To MetaCart
-
Constraint-based Type Inference
- …Constraint{based type inference Martin Sulzmann Dept. of Computer Science and Software Engineering…
- Add To MetaCart
-
Proofs of Properties about HM(X)
- …Proofs of Properties about HM(X) Martin Sulzmann Yale University Department of Computer Science…
- Cited by 1 (0 self) – Add To MetaCart
-
Designing Record Systems
- …Designing Record Systems Martin Sulzmann Yale University, Department of Computer Science P.O. Box…
- Cited by 4 (1 self) – Add To MetaCart
-
Proofs of Soundness and Completeness of Type Inference for HM(X)
- …Proofs of Soundness and Completeness of Type Inference for HM(X) Martin Sulzmann Yale University…
- Cited by 2 (0 self) – Add To MetaCart
-
A General Framework for Hindley/Milner Type Systems with Constraints
- … by Martin Sulzmann Date of Dissertation Defence: 3rd of November 1999 Date of Award of Degree: 22nd of May…
- Cited by 29 (8 self) – Add To MetaCart
-
Beyond Type Classes
- … rossberg@(email omitted); Martin Sulzmann Department of Computer Science and Software Engineering University…
- Add To MetaCart
-
Analysis of Architectures using Constraint-Based Types
- …Analysis of Architectures using Constraint--Based Types John Peterson and Martin Sulzmann…
- Cited by 1 (1 self) – Add To MetaCart
-
C++ Templates/Traits versus Haskell Type Classes
- … sunkot@(email omitted); Martin Sulzmann School of Computing, 3 Science Drive 2, National University of Singapore…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
