Type inference

Top Researchers

George J. Pappas

Institution: —

Insup Lee

Institution: —

Vikash K. Mansinghka

Institution: —

Jacob Beal

Institution: —

Oleg Sokolsky

Institution: —

Mirko Viroli

Institution: —

Ferruccio Damiani

Institution: —

Ulrich Schaechtle

Institution: —

Shivam Handa

Institution: —

Alexey Radul

Institution: —

A type-sound calculus of computational fields

Ferruccio Damiani, Mirko Viroli, Jacob Beal

Citations: 30 • 2015

Probabilistic programming with programmable inference

Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard

Citations: 10 • 2018

Practical Program Understanding with Type Inference.

Robert O'Callahan, Daniel Jackson

Citations: 5 • 1996

Unit &#x00026; dynamic typing in hybrid systems modeling with CHARON

Madhukar Anand, Insup Lee, George J. Pappas, Oleg Sokolsky

Citations: 4 • 2006