This post explains how to get started using Scribble to write a research paper.
Posts tagged by Ben Greenman
Two experiences at SPLASH 2018 reminded me that software gets thrown away and replaced.
The literature on mixed-typed languages presents (at least) three fundamentally different ways of thinking about the integrity of programs that combine statically typed and dynamically typed code. Recently, we have been sorting them out.
This post explains the sampling method introduced in the paper On the Cost of Type-Tag Soundness
The Racket School 2018: Create your own language • 9–13 July • Salt Lake City
A short guide to Redex concepts, conventions, and common mistakes.
Last week, Northeastern hosted a PI meeting for the Gradual Typing Across the Spectrum NSF grant. The meeting was made of 20+ researchers from four institutions, and 12 technical talks. Schedule:
A common thread among the talks was the question: how to convert a research idea into a tool for software developers?
From the PRL archives:
I think that I shall never see a matrix lovely as a tree. — Trees, by Guy L. Steele Jr., MIT, 1973