Implement semantics
aerabi opened this issue · comments
The operational semantics based on the paper "Essence of Event-Driven Programming" [1] should be implemented.
"A Basis for Event-Driven Programming" based on Linear Temporal Type Theory
aerabi opened this issue · comments
The operational semantics based on the paper "Essence of Event-Driven Programming" [1] should be implemented.