MSIR It is a simple, efficient and flexible graph-based function IR, A functional semantic type that can be represented Have?
Free variable
Higher order function
Interrupt
Recursion
Submit