1 code implementation • 7 Oct 2020 • Yuquan Fu, Sam Tobin-Hochstadt
The problem for typing any such system is that the flexibility it allows must be tamed by requiring a connection between the object the method was extracted from, and the function value that is later called.
Programming Languages
2 code implementations • 18 May 2020 • Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt
Embedded or internal DSLs fit naturally with a host language, while inheriting the host's performance characteristics.
Programming Languages
4 code implementations • 17 May 2018 • Rajan Walia, Jacques Carette, Praveen Narayanan, Chung-chieh Shan, Sam Tobin-Hochstadt
They are algorithms whose idiomatic expression requires random array variables that are latent or whose likelihood is conjugate.
Programming Languages Probability