Synthesizing Object-Oriented and Functional Design to Promote Re-Use(cs.brown.edu)32 points by andsoitis 1 year ago | 4 comments
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics(cs.brown.edu)13 points by surprisetalk 1 year ago | 0 comments
Screenshot pending…Automata via Macros (2006)(cs.brown.edu)9 points by Jtsummers 2 years ago | 4 comments
![Screenshot of cs.brown.edu: A Core Calculus for Documents [pdf]](https://hn.urlbox.com/shots/renders/2023/12/31/c8d67de1-0437-4827-b400-93f434f93308.jpg)