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
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.
 
 
 
Karl Johansson f7fa36b80c Point example URLs in README to typeless branch 6 years ago
..
chat-client.rkt Single-collection package. 8 years ago
chat-paper-raw.rkt Single-collection package. 8 years ago
chat-paper.rkt Single-collection package. 8 years ago
chat.erl Single-collection package. 8 years ago
chat.hs Single-collection package. 8 years ago
chat.py Single-collection package. 8 years ago
debug-chat.rkt Single-collection package. 8 years ago
echo-paper.rkt Single-collection package. 8 years ago
echo-plain.rkt First pass at converting to untyped 7 years ago