• Optimal Causal Inferen...
• lect6 Learning and Inf...
• Practical Type Inferen...
• An optimal approximati...
• An algorithm for optim...
• Customizing an XML–Ha...
• Type inference verifie...