20 citations · 23 across the 4 of their papers we have counts for
4 papers
A Study of LLMs' Preferences for Libraries and Programming Languages
Lukas Twist, Mark Harman, Don Syme +4
Despite the rapid progress of large language models (LLMs) in code generation, existing evaluations focus on functional correctness or syntactic validity, overlooking how LLMs make…
Gradients without Backpropagation
Atılım Güneş Baydin, Barak A. Pearlmutter, Don Syme +2
Using backpropagation to compute gradients of objective functions for optimization has remained a mainstay of machine learning. Backpropagation, or reverse-mode differentiation, is…
Types from data: Making structured data first-class citizens in F#
Tomas Petricek, Gustavo Guerra, Don Syme
Most modern applications interact with external services and access data in structured formats such as XML, JSON and CSV. Static type systems do not understand such formats, often…
In the Age of Web: Typed Functional-First Programming Revisited
Tomas Petricek, Don Syme, Zach Bray
Most programming languages were designed before the age of web. This matters because the web changes many assumptions that typed functional language designers take for granted. For…