| 11733985 |
Accessing a migrated member in an updated type |
Brian Goetz, John R. Rose |
2023-08-22 |
| 11599346 |
Accessing a migrated member in an updated type |
Brian Goetz, John R. Rose |
2023-03-07 |
| 11347489 |
Accessing a migrated member in an updated type |
Brian Goetz, John R. Rose |
2022-05-31 |
| 10908886 |
Accessing a migrated member in an updated type |
Brian Goetz, John R. Rose |
2021-02-02 |
| 10635420 |
Overriding a migrated method in an updated type |
Brian Goetz, John R. Rose |
2020-04-28 |
| 10310827 |
Flow-based scoping |
Brian Goetz, Guy L. Steele, Jr. |
2019-06-04 |
| 8949784 |
Type system for declarative data scripting language |
David E. Langworthy, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2015-02-03 |
| 8762942 |
Bidirectional type checking for declarative data scripting language |
David E. Langworthy, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2014-06-24 |
| 8413119 |
Semantic subtyping for declarative data scripting language by calling a prover |
David E. Langworthy, Andrew D. Gordon, Donald F. Box, Bradford H. Lovering, Jeffrey C. Schlimmer +1 more |
2013-04-02 |
| 7912863 |
Compositional lifting of operations over structural types |
Henricus Johannes Maria Meijer, Wolfram Schulte |
2011-03-22 |
| 7873592 |
Type inference for object-oriented languages |
Henricus Johannes Maria Meijer, Mads Torgersen, Anders Hejlsberg, Danny Van Velzen, Peter A. Hallam +4 more |
2011-01-18 |
| 7774376 |
Type-system extensions for object-oriented language based on coercive subtyping with restrictions |
Henricus Johannes Maria Meijer, Wolfram Schulte |
2010-08-10 |
