64 followers
@debasishg @lindsey If Okasaki's is your favorite, you may be interested in that one https://t.co/W3vYps1Ol5
@debasishg @lindsey If Okasaki's is your favorite, you may be interested in that one https://t.co/W3vYps1Ol5
@laMudri Breadth-first traversal in Coq: https://t.co/W3vYps1Ol5
Open Access UCL Research: Completeness and Incompleteness of Synchronous Kleene Algebra https://t.co/EWjiovBluk
@ilyasergey @jeanqasaur I love Ralf Hinze's presentation of automata construction from regular expressions via railroad diagrams: https://t.co/TgUwflu2pf