-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Ki Yung Ahn edited this page Dec 17, 2015
·
1 revision
Welcome to the TIPER wiki!
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