Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8898632 | Dispatch predicate for overloaded functions using type intervals | Karl B. Naden, Justin R. Hilburn, David R. Chase, Guy L. Steele, Jr., Victor M. Luchangco | 2014-11-25 |
| 8225294 | Method and apparatus for expressing and checking relationships between types | Sukyoung Ryu, Victor M. Luchangco, Joseph J. Hallett, III, Samuel Y. Tobin-Hochstadt | 2012-07-17 |
| 7530051 | Method and apparatus for dimensional analysis encoded in metatypes and generics | David R. Chase, Victor M. Luchangco, Jan-Willem Maessen, Guy L. Steele, Jr. | 2009-05-05 |