A Core Calculus for Documents (short post + paper) (blog.brownplt.org)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 29 Dec 2023 23:37
https://programming.dev/post/7873049

Paper (in POPL 2024)

#programming_languages

threaded - newest