Daniel Smith

Person

Spanish Fork, UT, US

People

Patents Grantslast 30 patents

Information Patent Grant
Type inference optimization
- Patent number 10,896,031
- Issue date Jan 19, 2021
- Oracle International Corporation
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for supporting compatibility checking for lambda...
- Patent number 10,528,330
- Issue date Jan 7, 2020
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Existential type packing for structurally-restricted existential types
- Patent number 10,521,204
- Issue date Dec 31, 2019
- Oracle International Corporation
- Daniel L. Smith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type inference optimization
- Patent number 10,489,128
- Issue date Nov 26, 2019
- Oracle International Corporation
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for supporting compatibility checking for lambda...
- Patent number 10,209,970
- Issue date Feb 19, 2019
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type inference optimization
- Patent number 10,001,978
- Issue date Jun 19, 2018
- Oracle International Corporation
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for supporting compatibility checking for lambda...
- Patent number 9,557,974
- Issue date Jan 31, 2017
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for inferring immutability of program variables
- Patent number 9,542,166
- Issue date Jan 10, 2017
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Target typing of overloaded method and constructor arguments
- Patent number 9,524,175
- Issue date Dec 20, 2016
- Oracle International Corporation
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for compiling lambda expression in a programming...
- Patent number 9,195,442
- Issue date Nov 24, 2015
- Oracle International Corporation
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
TYPE INFERENCE OPTIMIZATION
- Publication number 20210096833
- Publication date Apr 1, 2021
- ORACLE INTERNATIONAL CORPORATION
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE INFERENCE OPTIMIZATION
- Publication number 20200081694
- Publication date Mar 12, 2020
- ORACLE INTERNATIONAL CORPORATION
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SUPPORTING COMPATIBILITY CHECKING FOR LAMBDA...
- Publication number 20190129699
- Publication date May 2, 2019
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE INFERENCE OPTIMIZATION
- Publication number 20180307468
- Publication date Oct 25, 2018
- ORACLE INTERNATIONAL CORPORATION
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SUPPORTING COMPATIBILITY CHECKING FOR LAMBDA...
- Publication number 20170147302
- Publication date May 25, 2017
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE INFERENCE OPTIMIZATION
- Publication number 20170131982
- Publication date May 11, 2017
- ORACLE INTERNATIONAL CORPORATION
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Existential Type Packing for Structurally-Restricted Existential Types
- Publication number 20170123771
- Publication date May 4, 2017
- Oracle International Corporation
- Daniel L. Smith
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Target Typing of Overloaded Method and Constructor Arguments
- Publication number 20140137087
- Publication date May 15, 2014
- Oracle International Corporation
- Maurizio Cimadamore
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR INFERRING IMMUTABILITY OF PROGRAM VARIABLES
- Publication number 20140123118
- Publication date May 1, 2014
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR COMPILING LAMBDA EXPRESSION IN A PROGRAMMING...
- Publication number 20140019948
- Publication date Jan 16, 2014
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SUPPORTING COMPATIBILITY CHECKING FOR LAMBDA...
- Publication number 20140019947
- Publication date Jan 16, 2014
- ORACLE INTERNATIONAL CORPORATION
- Brian Goetz
- G06 - COMPUTING CALCULATING COUNTING

Daniel Smith

Person

Patents Grantslast 30 patents

Type inference optimization

System and method for supporting compatibility checking for lambda...

Existential type packing for structurally-restricted existential types

Type inference optimization

System and method for supporting compatibility checking for lambda...

Type inference optimization

System and method for supporting compatibility checking for lambda...

System and method for inferring immutability of program variables

Target typing of overloaded method and constructor arguments

System and method for compiling lambda expression in a programming...

Patents Applicationslast 30 patents

TYPE INFERENCE OPTIMIZATION

TYPE INFERENCE OPTIMIZATION

SYSTEM AND METHOD FOR SUPPORTING COMPATIBILITY CHECKING FOR LAMBDA...

TYPE INFERENCE OPTIMIZATION

SYSTEM AND METHOD FOR SUPPORTING COMPATIBILITY CHECKING FOR LAMBDA...

TYPE INFERENCE OPTIMIZATION

Existential Type Packing for Structurally-Restricted Existential Types

Target Typing of Overloaded Method and Constructor Arguments

SYSTEM AND METHOD FOR INFERRING IMMUTABILITY OF PROGRAM VARIABLES

SYSTEM AND METHOD FOR COMPILING LAMBDA EXPRESSION IN A PROGRAMMING...

SYSTEM AND METHOD FOR SUPPORTING COMPATIBILITY CHECKING FOR LAMBDA...