Cf. parallel automaton traversal, there's a talk on doing that in Haskell at https://www.youtube.com/watch?v=b4bb8EP_pIE&feature=youtu.be&list=PLOvRW_utVPVlMaey

Cf. parallel automaton traversal, there's a talk on doing that in Haskell at https://www.youtube.com/watch?v=b4bb8EP_pIE&feature=youtu.be&list=PLOvRW_utVPVlMaey1LnM1FWGnJwztEz5O https://www.youtube.com/watch?v=b4bb8EP_pIE&feature=youtu.be... slides: https://github.com/Gabriel439/slides/blob/master/zurihac/slides.md https://github.com/Gabriel439/slides/blob/master/zurihac/sli... based on a very readable paper https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/asplos302-mytkowicz.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...