Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Martin Wehr
Type Inference With Constrained Types
Theory and Practice of Object Systems
Related publications
Ambivalent Types for Principal Type Inference With GADTs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Stratified Type Inference for Generalized Algebraic Data Types
A Complete Type Inference System for Subtyped Recursive Types
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Inference With Selftype
BRICS Report Series
Type Inference With Simple Subtypes
Journal of Functional Programming
Software
Efficient Inference of Partial Types
DAIMI Report Series
A General-Purpose Algorithm for Constrained Sequential Inference
Constrained Statistical Inference in Generalized Linear, and Mixed Models With Incomplete Data
Some Developments in the Theory of Shape Constrained Inference
Statistical Science
Mathematics
Statistics
Uncertainty
Probability
