Historical interest only: A Dataspace-like language and system based on "Network Calculus" (ESOP 2014). https://syndicate-lang.org/papers#gjthf-esop14

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Tony Garnock-Jones a7503d16e4 Clean up whitespace		8 years ago
minimart	Clean up whitespace	8 years ago
.gitignore	Ignore compiled/ directories; minimart/main.rkt; Makefile	10 years ago
Makefile	Ignore compiled/ directories; minimart/main.rkt; Makefile	10 years ago
info.rkt	Break dependency on web-server-lib	8 years ago