GRAPH-BASED MODEL FOR TYPE SYSTEMS Application US-20140282384-A1 United States of America 18 Sep 2014