Ben Greenman

8 posts

Ben Greenman

Ben Greenman

@ben_greenman

Katılım Ağustos 2014
207 Takip Edilen118 Takipçiler
Ben Greenman
Ben Greenman@ben_greenman·
My contribution: reflections on how to measure the cost of soundness for gradual types #g-rep-2023" target="_blank" rel="nofollow noopener">cs.utah.edu/~blg/publicati… (1st draft submitted from the @plumlab , thanks for the space!!!)
English
0
0
2
103
Ben Greenman
Ben Greenman@ben_greenman·
Thanks ACM-REP'23 for a great event! So good to talk about replicability, benchmarks, and experimental methods with folks outside my regular PL neighborhood! acm-rep.github.io/2023/
English
1
1
2
479
Ben Greenman
Ben Greenman@ben_greenman·
@neural_circus (1) I had a dream where I talked to you on a bus (2) I'm in Delmar now (3) wanna hang out?
English
0
0
0
0