3 ms·
Hackett: https://github.com/lexi-lambda/hackett https://github.com/lexi-lambda/hackett Based on this paper: http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl20
by zeckalpha 6y ago
Hackett: https://github.com/lexi-lambda/hackett https://github.com/lexi-lambda/hackett
Based on this paper: http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf
- girvo 6y agoI highly recommend people check out Alexis’ other projects too. An excellent programmer, and great writer. https://lexi-lambda.github.io https://lexi-lambda.github.io