Type inference
相关论文数: 4
顶级研究者
最高引用论文
A type-sound calculus of computational fields
Ferruccio Damiani, Mirko Viroli, Jacob Beal
引用数: 30 • 2015
Probabilistic programming with programmable inference
Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard
引用数: 10 • 2018
Practical Program Understanding with Type Inference.
Robert O'Callahan, Daniel Jackson
引用数: 5 • 1996
Unit & dynamic typing in hybrid systems modeling with CHARON
Madhukar Anand, Insup Lee, George J. Pappas, Oleg Sokolsky
引用数: 4 • 2006