| 9736270 |
Automated client/server operation partitioning |
Erik Meijer, Dinesh Chandrakant Kulkarni, Matthew J. Warren |
2017-08-15 |
| 9712646 |
Automated client/server operation partitioning |
Erik Meijer, Dinesh Chandrakant Kulkami, Matthew J. Warren |
2017-07-18 |
| 9652207 |
Static type checking across module universes |
Lucas J. Hoban, Mads Torgersen, Charles P. Jazdzewski, Steven Lucco, Joseph J. Pamer |
2017-05-16 |
| 9639335 |
Contextual typing |
Lucas J. Hoban, Mads Torgersen, Charles P. Jazdzewski, Steven Lucco, Joseph J. Pamer |
2017-05-02 |
| 9563412 |
Statically extensible types |
Lucas J. Hoban, Mads Torgersen, Charles P. Jazdzewski, Steven Lucco, Joseph J. Pamer |
2017-02-07 |
| 9075667 |
Dynamic binding directed by static types |
Mads Torgersen, James J. Hugunin, Matthew J. Warren, Neal M. Gafter, Lucian Jules Wischik +4 more |
2015-07-07 |
| 9026993 |
Immutable types in imperitive language |
John Duffy |
2015-05-05 |
| 8978007 |
Static metadata in dynamic programs |
Lucas J. Hoban, Mark B. Shields, Steven Lucco, Charles P. Jazdzewski |
2015-03-10 |
| 8918767 |
Pattern-based compilation of asynchronous consumption |
Stephen H. Toub, Mads Torgersen, Lucian Jules Wischik, Niklas Gustafsson, Dmitry Lomov +1 more |
2014-12-23 |
| 8819046 |
Data query translating into mixed language data queries |
Matthew J. Warren, Ion Vasilian, Erik Meijer, Dinesh Chandrakant Kulkarni |
2014-08-26 |
| 8713048 |
Query processing with specialized query operators |
Erik Meijer, Mads Torgersen, Matthew J. Warren, John Wesley Dyer |
2014-04-29 |
| 8572585 |
Using compiler-generated tasks to represent programming elements |
Stephen H. Toub, Mads Torgersen, Lucian Jules Wishchik, Dmitry Lomov, Matthew J. Warren +1 more |
2013-10-29 |
| 8555261 |
Object-oriented pull model XML parser |
Christopher J. Lovett, Matthew J. Warren, Chia-Hsun Chen, Mark W. Fussell, Neetu Rajpal |
2013-10-08 |
| 8495329 |
Type system support for memory isolation permissions |
John Duffy, Steven Lucco, Martin Taillefer |
2013-07-23 |
| 8458678 |
Compiler supporting programs as data objects |
Henricus Johannes Maria Meijer, Matthew J. Warren, Dinesh Chandrakant Kulkarni, Luca Bolognese, Peter A. Hallam +2 more |
2013-06-04 |
| 8375044 |
Query processing pipelines with single-item and multiple-item query operators |
Evgueni Zabokritski, Matthew J. Warren, Luca Bolognese, Erik Meijer, Dinesh Chandrakant Kulkarni |
2013-02-12 |
| 8370801 |
Architecture that extends types using extension methods |
Henricus Johannes Maria Meijer, Matthew J. Warren, Luca Bolognese, Peter A. Hallam, Gary Shon Katzenberger +1 more |
2013-02-05 |
| 8364751 |
Automated client/server operation partitioning |
Erik Meijer, Dinesh Chandrakant Kulkarni, Matthew J. Warren |
2013-01-29 |
| 8364750 |
Automated translation of service invocations for batch processing |
Luca Bolognese, Lucas J. Hoban, Erik Meijer, Matthew J. Warren, Dinesh Chandrakant Kulkarni +2 more |
2013-01-29 |
| 8275731 |
Anonymous types for statically typed queries |
Henricus Johannes Maria Meijer, Matthew J. Warren, Luca Bolognese, Peter A. Hallam, Gary Shon Katzenberger +1 more |
2012-09-25 |
| 8191040 |
Application program interface for network software platform |
Daniel Dedu-Constantin, Erik B. Christensen, Keith W. Ballinger, Mark W. Fussell, Neetu Rajpal +7 more |
2012-05-29 |
| 8132093 |
Instance annotation in object-oriented programming |
Ralf Lammel, Andrew E. Kimball, David L. Remy, Erik Meijer |
2012-03-06 |
| 8060868 |
Fully capturing outer variables as data objects |
Henricus Johannes Maria Meijer, Mads Torgersen, Peter A. Hallam, Matthew J. Warren, Dinesh Chandrakant Kulkarni +1 more |
2011-11-15 |
| 8037096 |
Memory efficient data processing |
Michael Champion, Andrew E. Kimball, Ralf Lammel, Henricus Johannes Maria Meijer, Ion Vasilian |
2011-10-11 |
| 8005848 |
Streamlined declarative parsing |
Michael Champion, Andrew E. Kimball, Ralf Lammel, Henricus Johannes Maria Meijer, David L. Remy +1 more |
2011-08-23 |