You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Ki Yung Ahn edited this page Dec 17, 2015
·
1 revision
Welcome to the TIPER wiki!
some other related things
People who worked on Action Semantics also had an idea to during their semantic description binding specifcation and along with that a type checker could be generated. But hasn'b been applied to real languages I believe?
bcpierce also had a work on a system that could generate a type checker