Gavin Bierman

Person

Cambridge, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Accessing a migrated member in an updated type
- Patent number 11,733,985
- Issue date Aug 22, 2023
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accessing a migrated member in an updated type
- Patent number 11,599,346
- Issue date Mar 7, 2023
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accessing a migrated member in an updated type
- Patent number 11,347,489
- Issue date May 31, 2022
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Accessing a migrated member in an updated type
- Patent number 10,908,886
- Issue date Feb 2, 2021
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Overriding a migrated method in an updated type
- Patent number 10,635,420
- Issue date Apr 28, 2020
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Flow-based scoping
- Patent number 10,310,827
- Issue date Jun 4, 2019
- Oracle International Corporation
- Gavin Mark Bierman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type system for declarative data scripting language
- Patent number 8,949,784
- Issue date Feb 3, 2015
- Microsoft Technology Licensing, LLC
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Bidirectional type checking for declarative data scripting language
- Patent number 8,762,942
- Issue date Jun 24, 2014
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic subtyping for declarative data scripting language by calli...
- Patent number 8,413,119
- Issue date Apr 2, 2013
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compositional lifting of operations over structural types
- Patent number 7,912,863
- Issue date Mar 22, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type inference for object-oriented languages
- Patent number 7,873,592
- Issue date Jan 18, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type-system extensions for object-oriented language based on coerci...
- Patent number 7,774,376
- Issue date Aug 10, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Compile-Time Checking For Exhaustive Switch Statements And Expressions
- Publication number 20240338186
- Publication date Oct 10, 2024
- ORACLE INTERNATIONAL CORPORATION
- Gavin Mark Bierman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE
- Publication number 20220261229
- Publication date Aug 18, 2022
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE
- Publication number 20220261230
- Publication date Aug 18, 2022
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE
- Publication number 20210096834
- Publication date Apr 1, 2021
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FLOW-BASED SCOPING
- Publication number 20180293058
- Publication date Oct 11, 2018
- ORACLE INTERNATIONAL CORPORATION
- Gavin Mark Bierman
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OVERRIDING A MIGRATED METHOD IN AN UPDATED TYPE
- Publication number 20180018163
- Publication date Jan 18, 2018
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXECUTION ENVIRONMENT SUPPORT FOR REACTIVE PROGRAMMING
- Publication number 20120047495
- Publication date Feb 23, 2012
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLI...
- Publication number 20100192129
- Publication date Jul 29, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE
- Publication number 20100088679
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE
- Publication number 20100088661
- Publication date Apr 8, 2010
- Microsoft Corporation
- David E. Langworthy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE INFERENCE FOR OBJECT-ORIENTED LANGUAGES
- Publication number 20080262992
- Publication date Oct 23, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING

Gavin Bierman

Person

Patents Grantslast 30 patents

Accessing a migrated member in an updated type

Accessing a migrated member in an updated type

Accessing a migrated member in an updated type

Accessing a migrated member in an updated type

Overriding a migrated method in an updated type

Flow-based scoping

Type system for declarative data scripting language

Bidirectional type checking for declarative data scripting language

Semantic subtyping for declarative data scripting language by calli...

Compositional lifting of operations over structural types

Type inference for object-oriented languages

Type-system extensions for object-oriented language based on coerci...

Patents Applicationslast 30 patents

Compile-Time Checking For Exhaustive Switch Statements And Expressions

ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE

ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE

ACCESSING A MIGRATED MEMBER IN AN UPDATED TYPE

FLOW-BASED SCOPING

OVERRIDING A MIGRATED METHOD IN AN UPDATED TYPE

EXECUTION ENVIRONMENT SUPPORT FOR REACTIVE PROGRAMMING

SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLI...

BIDIRECTIONAL TYPE CHECKING FOR DECLARATIVE DATA SCRIPTING LANGUAGE

TYPE SYSTEM FOR DECLARATIVE DATA SCRIPTING LANGUAGE

TYPE INFERENCE FOR OBJECT-ORIENTED LANGUAGES