3 ms·Linear Logic, Linear Lisp, Linear Types and Concatenative Languages3 points by adamnemecek 9y ago