leastfixedpoint
~tonyg
Projects
Blog
Contact
Archived tweet #4782 from the
@leastfixedpoint Twitter Archive
@BrianTRice
padsproj.org/papers/pldi.pdf
perhaps. It might be straightforward to cons up a logic of parsers...