3 ms·
That’s interesting. The history goes back a bit farther. As far as I can tell the first use was in the BCPL compiler, which was written by Martin Richards in l
by Theo-Norvell 5y ago
That’s interesting. The history goes back a bit farther. As far as I can tell the first use was in the BCPL compiler, which was written by Martin Richards in late 1960s and early 70s. Vaughn Pratt’s work was also in the early 70s. See the article in the OP for references.