Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |