Historical interest only: A Dataspace-like language and system that led to "Network Calculus" (ESOP 2014) and minimart-2014, in turn a predecessor to Syndicate.
https://syndicate-lang.org/papers#gjthf-esop14
67057d2db7 | ||
---|---|---|
marketplace | ||
.gitignore | ||
Makefile |