I missed that @edwinbrady has a paper on typed hierarchical state machines in @idrislang: https://eb.host.cs.st-andrews.ac.uk/drafts/states-all-the-way.pdf …
Replying to @asolove @idrislang
It hasn’t yet been accepted anywhere, sadly, so I haven’t plugged it much - but I still like it!
9:59 AM - 27 Jun 2017
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.