Maxim Strygin
Maxim Strygin
Computer Science, University of Birmingham
Verified email at cs.bham.ac.uk
TitleCited byYear
Functional semantics of parsing actions, and left recursion elimination as continuation passing
H Thielecke
Proceedings of the 14th symposium on Principles and practice of declarative …, 2012
22012
Operational semantics for signal handling
M Strygin, H Thielecke
arXiv preprint arXiv:1208.2754, 2012
12012
Semantics and logics for signals
M Strygin
University of Birmingham, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–3