A Typed Language for Agent Coordinationjohncarlosbaez.wordpress.com3 points·terryf··0 commentsOpen articleSaveView on HN