embalmed ones

16 thoughts
last posted June 13, 2018, 9:32 a.m.

1 earlier thought


Programming Language Theory papers, insofar as they tend to consist of a Grammar (to produce the terms), a Logic (to produce the typing), and some Rhetoric (to explain the previous two), are highly trivial (in the medieval sense of the trivium)

14 later thoughts