interface default int product(int x, int y) { return x * y; } } Mitchell, John C.; Plotkin, Gordon D.; Abstract Types Have Existential Type (页面存档备份,存于互联网档案馆)
Sitagliptin summary of product characteristics. Available at www.medicines.org.uk/emc/medicine/19609. Vildaliptin summary of product characteristics. Available