Jonathan Coates

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 2

Top Topics

Database Programming Language

Efficient Learning

Probabilistic Inference

Top Venues

Publications

Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism. CoRR (2020)
Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates
FreezeML: complete and easy type inference for first-class polymorphism. PLDI (2020)