Archived tweet #7777 from the @leastfixedpoint Twitter Archive

@crstry Cool. An interesting (new?) idea would be a schema language based on some visibly-pushdown formalism. cis.upenn.edu/~alur/nw.html