Issued Patents 2019
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10521204 | Existential type packing for structurally-restricted existential types | — | 2019-12-31 |
| 10489128 | Type inference optimization | Maurizio Cimadamore | 2019-11-26 |
| 10209970 | System and method for supporting compatibility checking for lambda expression | Brian Goetz, Maurizio Cimadamore | 2019-02-19 |