Joseph J. Pamer

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Hostable compiler utilizing type information from a host application
- Patent number 10,521,205
- Issue date Dec 31, 2019
- Microsoft Technology Licensing, LLC
- Joseph Pamer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Graph-based model for type systems
- Patent number 9,696,974
- Issue date Jul 4, 2017
- Microsoft Technology Licensing, LLC
- Joseph J. Pamer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static type checking across module universes
- Patent number 9,652,207
- Issue date May 16, 2017
- Microsoft Technology Licensing, LLC
- Lucas J. Hoban
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Contextual typing
- Patent number 9,639,335
- Issue date May 2, 2017
- Microsoft Technology Licensing, LLC
- Lucas J. Hoban
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Statically extensible types
- Patent number 9,563,412
- Issue date Feb 7, 2017
- Microsoft Technology Licensing, LLC
- Lucas J. Hoban
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hostable compiler utilizing type information from a host application
- Patent number 9,542,168
- Issue date Jan 10, 2017
- Microsoft Technology Licensing LLC
- Joseph Pamer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
HOSTABLE COMPILER UTILIZING TYPE INFORMATION FROM A HOST APPLICAITION
- Publication number 20170115971
- Publication date Apr 27, 2017
- Microsoft Technology Licensing LLC
- JOSEPH PAMER
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OVERLOADING ON CONSTANTS
- Publication number 20140372993
- Publication date Dec 18, 2014
- Lucas J. Hoban
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATICALLY EXTENSIBLE TYPES
- Publication number 20140282442
- Publication date Sep 18, 2014
- Microsoft Corporation
- Lucas J. Hoban
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC TYPE CHECKING ACROSS MODULE UNIVERSES
- Publication number 20140282441
- Publication date Sep 18, 2014
- Microsoft Corporation
- Lucas J. Hoban
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GRAPH-BASED MODEL FOR TYPE SYSTEMS
- Publication number 20140282384
- Publication date Sep 18, 2014
- Microsoft Corporation
- Joseph J. Pamer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTEXTUAL TYPING
- Publication number 20140282443
- Publication date Sep 18, 2014
- Microsoft Corporation
- Lucas J. Hoban
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HOSTABLE COMPILER UTILIZING TYPE INFORMATION FROM A HOST APPLCIATION
- Publication number 20130125101
- Publication date May 16, 2013
- Microsoft Corporation
- Joseph Pamer
- G06 - COMPUTING CALCULATING COUNTING

Joseph J. Pamer

Person

Patents Grantslast 30 patents

Hostable compiler utilizing type information from a host application

Graph-based model for type systems

Static type checking across module universes

Contextual typing

Statically extensible types

Hostable compiler utilizing type information from a host application

Patents Applicationslast 30 patents

HOSTABLE COMPILER UTILIZING TYPE INFORMATION FROM A HOST APPLICAITION

OVERLOADING ON CONSTANTS

STATICALLY EXTENSIBLE TYPES

STATIC TYPE CHECKING ACROSS MODULE UNIVERSES

GRAPH-BASED MODEL FOR TYPE SYSTEMS

CONTEXTUAL TYPING

HOSTABLE COMPILER UTILIZING TYPE INFORMATION FROM A HOST APPLCIATION